Commit graph

Select branches

Hide pull requests

main

Mono Color

• 04f9393b4f coq: preliminary small-step semantics Michael Sippel 2024-07-24 11:20:13 +0200
• d8200b56b4 coq: preliminary definition of typing-relation Michael Sippel 2024-07-24 11:19:57 +0200
• a6939b3a40 coq: equivalence of type-terms Michael Sippel 2024-07-24 11:19:05 +0200
• 7be0e3fa2f coq: implement substitutions (on type- & expr-terms) Michael Sippel 2024-07-24 11:18:57 +0200
• 61948c6dc6 setup coq project & initial definition of terms (types & expressions) Michael Sippel 2024-07-24 11:17:45 +0200