Mbodin / CoqRLinks
A Coq formalisation of the R programming language
☆10Updated 2 years ago
Alternatives and similar repositories for CoqR
Users that are interested in CoqR are comparing it to the libraries listed below
Sorting:
- The Stan transpiler (from Stan to C++ and beyond).☆147Updated this week
- The Brown Benchmark for Table Types (B2T2)☆64Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- Hahn: A Coq library☆30Updated last year
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 8 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆10Updated last year
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆51Updated 3 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆59Updated 9 months ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆50Updated 9 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆72Updated last week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- Partial Commutative Monoids☆28Updated last month
- High level commands to declare a hierarchy based on packed classes☆99Updated last week
- ☆49Updated last year
- Tool for suggesting lemma names in Coq verification projects☆20Updated 2 years ago
- A book about functional programming in Lean☆42Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆127Updated last year
- ☆36Updated 3 months ago
- Coq library for serialization to S-expressions☆19Updated 2 years ago
- The Zenon theorem prover☆15Updated 2 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Mathematical stories☆13Updated 4 years ago
- ☆15Updated last year
- A Rocq formalization of information theory and linear error-correcting codes☆71Updated last week