jagd / fakeboldLinks
A thicker variant of Latin Modern Roman
☆16Updated 3 weeks ago
Alternatives and similar repositories for fakebold
Users that are interested in fakebold are comparing it to the libraries listed below
Sorting:
- Agda code for experimenting with internal models of cubical type theory☆14Updated 7 years ago
- Experiments in Synthetic Differential Geometry☆16Updated 3 years ago
- ☆14Updated 10 months ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- ☆17Updated 3 years ago
- ☆15Updated last year
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Updated 2 years ago
- Relative Monad Library for Agda☆24Updated 6 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Updated 7 years ago
- ☆11Updated 4 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Updated 3 weeks ago
- A formalization of Constructive Projective Geometry in Agda☆13Updated 6 years ago
- Constructive definition of real numbers implemented in agda.☆10Updated 8 years ago
- ☆19Updated 3 years ago
- ☆14Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Notes (and implementation) of unification with binders☆14Updated last month
- An Agda formalisation of the theory of directed containers☆12Updated 2 months ago
- Formalizations of strong normalization proofs☆35Updated 5 years ago
- Formalization of the James construction in Agda☆11Updated 8 years ago
- A fornalisation of Grobner basis in ssreflect☆12Updated 6 months ago
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 months ago
- STLC-related snippets in Agda☆16Updated 12 years ago
- Code repository for our work on Quantum Pi☆10Updated last year
- Directed type theory for formal category theory☆17Updated 8 years ago
- Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024☆19Updated 4 months ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago