All Categories → No Category → formalization

Top 3 formalization open source projects

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

✭ 86

ocaml javascript shell HTML ruby Dockerfile semantics posix symbolic-execution formalization sh posix-sh shell-scripting posix-shell

agda-presburger

Deciding Presburger arithmetic in agda

✭ 26

Agda agda formalization decision-procedure presburger-arithmetic

Formalization of the polymorphic lambda calculus and its parametricity theorem

✭ 20

Coq lambda-calculus coq formalization polymorphism denotational-semantics system-f parametricity

1-3 of 3 formalization projects