ExplorePLT

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.

Generate Convert Improve

Install / Use

/learn @ShrohanMohapatra/ExplorePLT

About this skill

Quality Score

0/100

Tags

church-thesis cyk-algorithm dafny earley-algorithm earley-parser formal-specification formal-verification lambda-calculus lambda-expressions loop-invariants turing-completeness weakest-preconditions

ShrohanMohapatra

View profile

View on GitHub

GitHub Stars4

CategoryProduct

Updated2y ago

Forks1

ShrohanMohapatra/ExplorePLT

Languages

Python

Security Score

60/100

Audited on Jul 11, 2023

No findings