Spaces:

prooftools
/

README

Running

App Files Files Community

Commit History

Keep organization card theme-safe

d5263fa

Ercan Aydoğan commited on 29 days ago

Keep organization card HTML contiguous

a52d1bc

Ercan Aydoğan commited on 29 days ago

Fix organization card rendering

565d081

Ercan Aydoğan commited on 29 days ago

Publish ProofTools organization card

34fb376

Ercan Aydoğan commited on 29 days ago

initial commit

9207ec4
verified

prooftoolsai commited on about 1 month ago