A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
lambda-calculus
lambda-expressions
dafny
earley-algorithm
formal-verification
earley-parser
turing-completeness
formal-specification
loop-invariants
weakest-preconditions
cyk-algorithm
church-thesis
-
Updated
Jun 23, 2021 - Python