cnewstead / infdesc
An Infinite Descent into Pure Mathematics
☆42Updated 4 years ago
Alternatives and similar repositories for infdesc:
Users that are interested in infdesc are comparing it to the libraries listed below
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Mathematical notes and papers☆26Updated last week
- Basic Analysis, undergraduate real analysis textbook☆75Updated 3 weeks ago
- Incremental implementation of a scheme compiler☆29Updated 12 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Principles Of Programming Languages - Projects and Homeworks☆71Updated 10 years ago
- Public repository for Abstact Algebra Theory and Applications☆169Updated 9 months ago
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆25Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 2 weeks ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- Web page for IU Compiler Course for Fall 2020☆131Updated 4 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- 非常的新鲜，非常的美味☆29Updated last month
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆30Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- 这是Haskell函数式编程入门第2版的源码☆81Updated 7 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- Public helper code for p423/p523 students (Racket)☆163Updated 5 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆206Updated 4 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 6 years ago
- The mathematical study of type theories, in univalent foundations☆115Updated 2 months ago
- Some Code from my Grad School Courses☆106Updated 13 years ago
- Python bindings for egg☆48Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆50Updated 2 years ago
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- Hevea is a fast latex to html translator☆101Updated 10 months ago
- Mathematical Components (the Book)☆141Updated last year