Andromeda: Proof assistant for general type theoriesgithub.com/Andromedans1 pointadamnemecek6 years ago