Instructions file
Instructions for yamafaktory/formal, covering formal, rust, the files that judge changes, hints and lean.
23 5d ago A 814 tokens
original MIT
23Stars on the repository
2Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown