Wednesday, November 27, 2024

Object Logic in Agda

 https://github.com/owl77/agda/blob/main/zalta.agda

No comments:

Post a Comment

Philosophy of quantifiers

Are quantifiers convenient fictions with fundamenta in re ? What does constructivism and dependent type theory have to say about this ? And...