Elementary Number Theory: Primes, Congruences, and Secrets
☆113Aug 5, 2023Updated 2 years ago
Alternatives and similar repositories for ent
Users that are interested in ent are comparing it to the libraries listed below
Sorting:
- Algebra Number Theory book☆50Mar 2, 2022Updated 4 years ago
- Riemann Hypothesis book☆74Nov 24, 2017Updated 8 years ago
- Open-source number theory textbook☆64Aug 5, 2024Updated last year
- Basic Analysis, undergraduate real analysis textbook☆88Updated this week
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 3 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- LaTeX source for my free math notes☆15Oct 18, 2020Updated 5 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- A reasonably performing MD5 implementation in pure Haskell☆12Feb 1, 2026Updated last month
- "A First Course in Linear Algebra" open source textbook☆70Feb 12, 2026Updated 3 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- LaTeX code for a paper on lean's type theory☆163Aug 2, 2022Updated 3 years ago
- Asymptote preprocessor☆17Feb 10, 2026Updated 3 weeks ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Oct 20, 2025Updated 4 months ago
- Douglas Hofstadter's "Typographical Number Theory"☆15Oct 20, 2023Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Feb 26, 2026Updated last week
- Combinatorics through Guided Discovery☆20Mar 9, 2023Updated 2 years ago
- Polyfills for MathML features☆20Jan 7, 2026Updated last month
- Classical Logic in Haskell☆24Nov 19, 2025Updated 3 months ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- MIT 18.02 lecture notes on multivar☆25Updated this week
- Public repository for Abstact Algebra Theory and Applications☆178Jan 18, 2026Updated last month
- Analytic Number Theory high-precision GnuMP routines☆20Feb 3, 2024Updated 2 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- Truth-table generator for classical propositional logic☆26May 10, 2021Updated 4 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Feb 4, 2026Updated last month
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Oct 6, 2017Updated 8 years ago
- write LaTeX + PSTricks and produce digital textbooks with HTML5 interactivity :)☆65Feb 6, 2020Updated 6 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 11 months ago
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Updated this week
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- Sissy Life CYOA☆12Sep 4, 2015Updated 10 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Sep 15, 2021Updated 4 years ago