PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 1 post about Lambda Cube.
Same as Q2036661, a framework.
2025
Verifying Proofs with Type Checkers
