CVSROOT:        /cvs
Module name:    ports
Changes by:     t...@cvs.openbsd.org    2021/08/16 14:19:24

Log message:
    import math/lean, ok sthen
    
    Lean is an open source theorem prover and programming language.  It aims
    to bridge the gap between interactive and automated theorem proving, by
    situating automated tools and methods in a framework that supports user
    interaction and the construction of fully specified axiomatic proofs.
    
    Status:
    
    Vendor Tag: tb
    Release Tags:       tb_20210816
    
    N ports/math/lean/Makefile
    N ports/math/lean/distinfo
    N ports/math/lean/patches/patch-src_CMakeLists_txt
    N ports/math/lean/patches/patch-src_util_lean_path_cpp
    N ports/math/lean/patches/patch-bin_leanpkg
    N ports/math/lean/patches/patch-tests_lean_test_single_sh
    N ports/math/lean/pkg/DESCR
    N ports/math/lean/pkg/PLIST
    
    No conflicts created by this import

Reply via email to