Pinned Repositories
category-theory-game
CISC275-Fall2018-first-git
cisc479_lesson1
co342
Lean code inspired by lecture notes from CO342 at UWaterloo
ctf-writeups
Team blue hens!!
excluded_minor_binary
Minimum working repository for formalization of Tutte's excluded minor characterization of binary matroids in Lean 3
graph-theory-workshop
graph_theory_2020
Formalizing lecture notes and homework assignments from MATH 688/MATH 888 at the University of Delaware. The plan is to eventually add some of the formalized results to mathlib, the mathematics library for Lean.
lean_lib
Various Lean developments
vector_spaces
Formalizing Linear Algebra Done Right in Lean
agusakov's Repositories
agusakov/category-theory-game
agusakov/graph-theory-workshop
agusakov/graph_theory_2020
Formalizing lecture notes and homework assignments from MATH 688/MATH 888 at the University of Delaware. The plan is to eventually add some of the formalized results to mathlib, the mathematics library for Lean.
agusakov/vector_spaces
Formalizing Linear Algebra Done Right in Lean
agusakov/CISC275-Fall2018-first-git
agusakov/cisc479_lesson1
agusakov/co342
Lean code inspired by lecture notes from CO342 at UWaterloo
agusakov/ctf-writeups
Team blue hens!!
agusakov/excluded_minor_binary
Minimum working repository for formalization of Tutte's excluded minor characterization of binary matroids in Lean 3
agusakov/lean_lib
Various Lean developments
agusakov/lightning-talks
List of LUGgers and the topic of their lightning talk on April 10th, 2019
agusakov/lightning-talks-fall-2019
udellug lightening talks (5 to 10 minutes) for October 28th, 2019
agusakov/m845_lean
agusakov/math-688-lean
agusakov/math-theorem-visualizer
Flowchart of definitions, lemmas, theorems, and corollaries. Meant to be embedded in my professional website.
agusakov/MATH672-Lean
Formalizations of exercises from MATH 672 at the University of Delaware.
agusakov/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
agusakov/mathematics_in_lean_game
Building the natural numbers in Lean.
agusakov/matroids
agusakov/millennium-prize-quiz
Take the test!
agusakov/os-project
Custom operating system project.
agusakov/playground
An irrelevant project where I keep various code I wrote while learning
agusakov/professional-site
stop making me write descriptions for everything you tyrants
agusakov/putnam-problem-bot
Twitter bot that tweets out the Putnam Problem of the Day
agusakov/react-diagrams
a super simple, no-nonsense diagramming library written in react that just works
agusakov/riehl-solutions
agusakov/space-debris
agusakov/vip-vr
agusakov/VIP-web
Web application for VERTICALLY INTEGRATED PROJECTS