Print `by` instead of `as`. - Githubissues

Andromedans / andromeda

A proof assistant for general type theories

http://www.andromeda-prover.org/

Other

297 stars 34 forks source link

Print `by` instead of `as`. #502

Closed andrejbauer closed 4 years ago