exaexa / better-mff-thesis
A slightly improved variant of the official thesis sample
☆29Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for better-mff-thesis
- ☆9Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 5 months ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Play/learn/work with me☆95Updated 3 months ago
- The agda-unimath library☆222Updated this week
- How I start Haskell.☆99Updated last month
- agda-mode for neovim☆134Updated 3 weeks ago
- HoTTEST Summer School materials☆289Updated last year
- Code challenges to solve with Haskell☆89Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- Tool for developing tasks for programming competitions.☆14Updated this week
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆148Updated last month
- ☆158Updated last week
- The Haskell LaTeX library.☆199Updated last year
- Spletna storitev za generiranje nalog☆18Updated last year
- Categorical Logic Notes☆74Updated 2 years ago
- Fast parsing from bytestrings☆149Updated last week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- LaTeX code for a paper on lean's type theory☆121Updated 2 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆219Updated 7 months ago
- Literate Haskell support for Markdown☆135Updated 2 months ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆350Updated last week
- Functional data science☆138Updated 2 years ago
- A purely functional programming language with first class types☆55Updated last year
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- Effective Algebraic Topology in Haskell☆86Updated 2 months ago
- The collected works of F. W. Lawvere☆321Updated 2 months ago