Andromedans/andromeda

A proof assistant for general type theories

1 best points · 0 comments · 1 Hacker News post · 319 GitHub stars · View on GitHub

Hacker News discussions