Skip to content

testing/lean4: new aport

Bryce Vandegrift requested to merge BryceVandegrift/aports:lean4-4.3.0 into master

Lean 4 programming language and theorem prover https://lean-lang.org/

Merge request reports