PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 1 post about Calculus of Constructions.
Same as Q858320, formal system.
2025
Verifying Proofs with Type Checkers
