Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with nested-datatypes
A curated list of projects in awesome lists tagged with nested-datatypes .
https://github.com/kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
control-operators coq-formalization effect-handlers effect-system lambda-calculus nested-datatypes preservation progress stlc theorem-proving
Last synced: 03 Nov 2024
