sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-19 10:33:12 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/math/lean4-std/pkg-descr
Yuri Victorovich a59c920e65 math/lean4-std: New port: Lean4: Std library
2024-01-16 02:45:01 -08:00

1 line
48 B
Text
Raw Blame History

Std library for Lean4, the math theorem prover.
Reference in a new issue View git blame Copy permalink