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
