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 version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆25Updated 3 years ago
- Mathematical notes and papers☆25Updated last month
- 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
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆28Updated 9 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- Public repository for Abstact Algebra Theory and Applications☆164Updated 6 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- Algebra Number Theory book☆48Updated 2 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Lean4中文教程☆34Updated 2 weeks ago
- Student-run wiki for students interested in computer science at Cornell University☆92Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- Basic Analysis, undergraduate real analysis textbook☆70Updated 3 weeks ago
- The Principia Rewrite☆213Updated 3 weeks ago
- Support for for students (Python)☆59Updated 2 months ago
- Lecture notes from Cambridge maths☆65Updated last year
- Web page for IU Compiler Course for Fall 2020☆131Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Hosts the website for mathlib and other Lean community infrastructure.☆58Updated this week
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆210Updated this week
- Repository for the QED interactive text and possible extensions☆96Updated 3 weeks ago
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆15Updated 3 weeks ago
- 🌼 Homework of Computer Systems: A Programmer's Perspective (3rd Edition) and Autolab solutions of CMU 15-513: Intro to Computer Systems☆35Updated 3 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆10Updated 10 months ago
- ☆35Updated 3 years ago