/automath

Tools related to de Bruijn's AUTOMATH system (1967)

Primary LanguageC

This repository is not active