Pinned Repositories
glacode's Repositories
glacode/yamma
VSCode extension for Metamath
glacode/aitest
My personal playground to test AI
glacode/example
a test repository
glacode/set.mm
Metamath source file for logic and set theory
glacode/smm
sorear's Metamath system engine