tealeaves
by dunnl
A Coq library for abstract syntactical reasoning
AI summary
Syntax framework
A framework for abstract syntactical reasoning in Coq.
- stars
- 23
- forks
- 0
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Linguistic data framework
A flexible data model and API for representing linguistic data in a language-independent and theory-neutral way.
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
Command framework
Provides encapsulation of domain logic and business rules in an application layer using the Command pattern and source generator.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
Formal language system
An implementation of System F in Coq, aiming to provide a rigorous and expressive formal system for describing programming languages.
rabbibotton/clog1.6K
Web GUI framework
A GUI framework that enables web-based graphical user interfaces using Common Lisp and WebSocket technology
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Application framework
A modular framework for building secure, composable, and interoperable on-chain applications
