Popular repositories Loading

1. Foundation Foundation Public

   Forked from FormalizedFormalLogic/Foundation

   Formalization of Mathematical Logic

   Lean 1

2. cantors-attic cantors-attic Public

   Forked from neugierde/cantors-attic

   A more recent archive of Cantor's Attic (1 September 2022)

   HTML

3. rtqf rtqf Public

   Searches for counterexample to Ono-Soundararajan conjecture

   C

4. convindix.github.io convindix.github.io Public

   HTML

5. commandelbrot commandelbrot Public

   Command line Mandelbrot explorer

   C

6. countableordinals countableordinals Public

   Some countable ordinals in order of size