#

mechanization

Here are 2 public repositories matching this topic...

ionathanch / TTBFL

A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.

dependent-types type-theory universes mechanization

Updated Feb 11, 2025
TeX

epfl-systemf / Warblre

A Coq Mechanization of ECMAScript 2023 Regexes

javascript regexes coq test262 regularexpressions mechanization

Updated Sep 27, 2024
OCaml

Improve this page

Add a description, image, and links to the mechanization topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mechanization topic, visit your repo's landing page and select "manage topics."