Contact DMCA Privacy

Robuta

https://github.com/Andromedans/andromeda
GitHub - Andromedans/andromeda: A proof assistant for general type theories
A proof assistant for general type theories. Contribute to Andromedans/andromeda development by creating an account on GitHub.
proof assistantgeneral typegithubandromedanstheories