PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 3 posts about Proof Assistant.
Same as Q11387554, software tool to assist with the development of formal proofs by human-machine collaboration.
2025
Flattening Cases to Avoid Nesting in Lean 4
Verifying Proofs with Type Checkers
Quick Lean: if-then-else statement in hypothesis
