#

coq-formalizations

Here are 2 public repositories matching this topic...

discus-lang / iron

Coq formalizations of functional languages.

lambda-calculus coq proof theory coq-formalizations

Updated Jul 2, 2020
Coq

Blaisorblade / dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

paper coq type-theory coq-formalization coq-formalizations soundness dot-calculus

Updated Sep 17, 2025
HTML

Improve this page

Add a description, image, and links to the coq-formalizations 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 coq-formalizations topic, visit your repo's landing page and select "manage topics."