NicolasT08
/

formal-mas

theorem-proving

Model card Files Files and versions

formal-mas / lean_project /LeanProject.lean

NicolasT08's picture

Formal-MAS source code

dfe1826 verified about 19 hours ago

Raw History Blame Contribute Delete

25 Bytes

	import LeanProject.Basic