|
|
None |
4 |
Project Proposals for Fall 2020 |
Feb 01, 2023 |
|
|
JavaScript |
2 |
SE Fall 2020 project |
Nov 06, 2023 |
|
|
C++ |
42 |
CMU15445/645 (fall 2020) project |
Aug 18, 2022 |
|
|
C++ |
153 |
Lab for Network Principles 2019-2020 fall, 2020-2021 fall, 2020-2021 spring, 2021-2022 fall |
Apr 26, 2023 |
|
|
Java |
2 |
SOEN341 Fall 2020 Project B | Concordia University |
Oct 04, 2021 |
|
|
Jupyter Notebook |
2 |
Koc University 2020/2021 Fall COMP541 Project |
Oct 06, 2022 |
|
|
HTML |
21 |
hackschool (fall 2020) |
Feb 22, 2021 |
|
|
Python |
9 |
Fall 2020 Project: This was Paris in 1970 |
Apr 16, 2023 |
|
|
JavaScript |
2 |
🍯 Halfway hackathon project MLH Fellowship Fall 2020 |
Mar 09, 2021 |
|
|
JavaScript |
2 |
For Senior Design Fall 2020 |
Nov 08, 2022 |
|
|
Lean |
55 |
Lean for the Curious Mathematician 2020 |
Jul 16, 2022 |
|
|
Lean |
4 |
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … |
May 27, 2022 |
|
|
Lean |
4 |
None |
Dec 15, 2021 |
|
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
|
Lean |
4 |
Implementation of different type theories in Lean4 |
Jun 04, 2022 |
|
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
|
Lean |
4 |
Some advanced undergrad group theory in Lean |
May 16, 2021 |
|
|
Lean |
4 |
Lean notes for Imperial course P11 : Galois Theory |
May 16, 2021 |
|
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
|
Lean |
4 |
C0 specification and verified compiler in Lean |
Jun 26, 2022 |
|
|
Lean |
4 |
None |
May 29, 2022 |
|
|
Lean |
5 |
Group Cohomology |
Dec 01, 2020 |
|
|
Lean |
5 |
Ellen's dots and boxes project |
Dec 30, 2020 |
|
|
Lean |
5 |
M1F 2018-19 example sheets in Lean |
Jul 14, 2021 |
|
|
Lean |
5 |
Supplemental material for the "Beyond Notations" paper |
Nov 25, 2021 |
|
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
|
Lean |
6 |
None |
Feb 23, 2022 |
|
|
Lean |
6 |
My Solutions using Lean 4 for the 2021 edition of the Advent of Code |
Apr 29, 2022 |
|
|
Lean |
6 |
Solving Diophantine equations in Lean |
Jul 26, 2022 |
|
|
Lean |
6 |
Stub for downloading mathport artifacts for mathlib3 |
Jul 27, 2022 |
|
|
Lean |
6 |
www |
Mar 04, 2022 |
|
|
Lean |
6 |
Interface to SMT2 solvers |
Mar 17, 2022 |
|
|
Lean |
6 |
Lean formalizations of things loosely related to homological algebra |
Mar 21, 2022 |
|
|
Lean |
7 |
Lecture notes, exercises, homeworks for Brown CS1951x 2021 |
Dec 01, 2021 |
|
|
Lean |
7 |
None |
May 19, 2022 |
|
|
Lean |
7 |
A formalization of Huang's degree theorem |
Oct 13, 2020 |
|
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
|
Lean |
7 |
The Advent of Code programming puzzles in Lean |
Jan 16, 2022 |
|
|
Lean |
8 |
Mathematical learnings with Lean, for those of us who wish we knew more of both! |
Feb 14, 2022 |
|
|
Lean |
8 |
None |
Sep 04, 2022 |
|
|
Lean |
9 |
A library of results from Social Choice Theory, formalized in the Lean Theorem Prover. |
May 07, 2022 |
|
|
Lean |
9 |
None |
Jul 08, 2022 |
|
|
Lean |
9 |
This may become a formalization of smooth manifolds in lean |
Jun 23, 2020 |
|
|
Lean |
9 |
Experiments with synthetic guarded domain theory in Lean 4. |
Jun 12, 2021 |
|
|
Lean |
9 |
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics" |
Aug 07, 2022 |
|
|
Lean |
10 |
Extra and extended datatypes for Lean 4 |
May 23, 2022 |
|
|
Lean |
10 |
Material from M1P1, formalised in Lean |
Dec 11, 2021 |
|
|
Lean |
11 |
None |
Jul 12, 2022 |
|
|
Lean |
11 |
Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate … |
Mar 10, 2022 |