HomeFreeBSD
Diffusion FreeBSD ports repository 27b9012337ee

math/lean4: New port: Theorem prover and functional language for math (new gen)
27b9012337ee
Actions

Description

math/lean4: New port: Theorem prover and functional language for math (new gen)

Details

Provenance
yuriAuthored on Jan 14 2024, 3:49 AM
Parents
R11:2bf3db579d88: devel/thonny: Bump PORTREVISION since pkg-plist change
Branches
Unknown
Tags
Unknown

Changes (14)

PathSize
math/
lean4/
lean/

R11:27b9012337ee

View Options

math/Makefile

Loading...
View Options

math/lean4/Makefile

Loading...
View Options

math/lean4/distinfo

Loading...
View Options

math/lean4/files/patch-src_CMakeLists.txt

Loading...
View Options

math/lean4/files/patch-src_runtime_io.cpp

Loading...
View Options

math/lean4/files/patch-src_runtime_stack__overflow.cpp

Loading...
View Options

math/lean4/files/patch-stage0_src_CMakeLists.txt

Loading...
View Options

math/lean4/files/patch-stage0_src_runtime_io.cpp

Loading...
View Options

math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp

Loading...
View Options

math/lean4/pkg-descr

Loading...
View Options

math/lean4/pkg-message

Loading...
View Options

math/lean4/pkg-plist

Loading...