☆35Aug 10, 2025Updated 7 months ago
Alternatives and similar repositories for tetrahedra
Users that are interested in tetrahedra are comparing it to the libraries listed below
Sorting:
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆10Apr 17, 2021Updated 4 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- ☆14Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Approximate the product between infinite functional objects on a manifold -- i.e. belief products☆12Updated this week
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- A dynamic way to instantiate an OCaml flow☆17Feb 26, 2026Updated last week
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- Portable implementation of the Irmin Watch API☆14Feb 10, 2026Updated last month
- Plain-text declaration export for Lean 4☆27Updated this week
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Aug 6, 2022Updated 3 years ago
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- S-expression pretty-printer☆22Jan 15, 2026Updated last month
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- ☆20Jan 24, 2023Updated 3 years ago
- Path tracer live coded in stream☆20Aug 23, 2020Updated 5 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- A Lean4 Formalization of Polynomial Functors☆27Dec 22, 2025Updated 2 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 4 years ago
- Goldbach conjecture = 25-state turing machine☆38Jan 13, 2025Updated last year
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- Tukey-Inspired Video Object Segmentation☆19Apr 9, 2025Updated 11 months ago