Spaces:

SZLHOLDINGS
/

lean-proof-playground

Running

App Files Files Community

lean-proof-playground / theorems

573 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

betterwithage's picture

rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure

4c22bd5 verified about 21 hours ago

Lutar
initial: Lean proof playground — interactive thesis exploration about 22 hours ago
skeletons
initial: Lean proof playground — interactive thesis exploration about 22 hours ago
index.json

109 kB
rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure about 21 hours ago