Buy Me a Coffee at ko-fi.com

Alf

structure editor for monomorphic Martin-Löf type theory

Pronunciation
/ælf/
/alf/
Categories