PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 2 posts about Type Theory.
Same as Q1056428, concept in mathematical logic and computer science.
2025
Verifying Proofs with Type Checkers
Is this program safe? Lessons from Type Theory
