Spaces:

prooftools
/

README

Running

App Files Files Community

Commit History

Keep organization card theme-safe

d5263fa

Ercan Aydoğan commited on 4 days ago

Keep organization card HTML contiguous

a52d1bc

Ercan Aydoğan commited on 4 days ago

Fix organization card rendering

565d081

Ercan Aydoğan commited on 4 days ago

Publish ProofTools organization card

34fb376

Ercan Aydoğan commited on 4 days ago

initial commit

9207ec4
verified

prooftoolsai commited on 5 days ago