shrohanmohapatra / exploreplt Goto Github PK
View Code? Open in Web Editor NEWA 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.