NicolasT08
/

formal-mas

theorem-proving

Model card Files Files and versions

formal-mas / lean_project /LeanProject /Basic.lean

NicolasT08's picture

Formal-MAS source code

dfe1826 verified about 19 hours ago

Raw History Blame Contribute Delete

21 Bytes

def hello := "world"