tlringer/proof-demos

This is stars and forks stats for /tlringer/proof-demos repository. As of 08 May, 2024 this repository has 38 stars and 1 forks.

Proof assistants are great. You can use them to prove critical properties about large software systems (like the absence of certain costly or dangerous bugs). The act of proving critical properties about a software system is called verification, and the act of engineering large verified software systems is called proof engineering. I like to work on automation for these proof assistants. The intro lecture for my class (which is just twenty minutes long) is a good summary of what these proof assistants are...