NicolasT08
/

formal-mas

theorem-proving

Model card Files Files and versions

4.5 MB

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

NicolasT08's picture

README: drop link to the unpublished Space

b82023a verified about 18 hours ago