wassname 727ef6ea73 tidy tests to subset of metamath

2026-04-27 09:20:07 +08:00

..

papers

tidy, review

2026-04-27 07:03:24 +08:00

refs

Add reference-impl URLs to variant docstrings + V2 external review

2026-04-26 19:27:47 +08:00

developer_guide.md

tidy

2026-04-27 07:12:56 +08:00