LeroyCompilerVerificationCourse0.1.0
Sort by
Require Order
batteries
v4.22.0-rc2The "batteries included" extended library for the Lean programming language and theorem prover
LeroyCompilerVerificationCourse0.1.0v4.22.0-rc2