Popular repositories Loading

1. real-analysis-ovchinnikov real-analysis-ovchinnikov Public

   Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov

   1

2. sudoku-z3 sudoku-z3 Public

   Rust

3. nigerian-history nigerian-history Public

   Notebooks to document my Nigeria-related edits on Wikipedia

   Jupyter Notebook

4. rao107.github.io rao107.github.io Public

   TypeScript

5. lean4web lean4web Public

   Forked from leanprover-community/lean4web

   The Lean 4 web editor

   TypeScript

6. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean