Popular repositories Loading

1. lean-proofs lean-proofs Public

   Some Lean proofs

   Lean 14

2. reverse-life reverse-life Public

   Reversing time in Conway's game of Life

   C++

3. snaky snaky Public

   Is Snaky a winner?

   C++

4. happy-end happy-end Public

   A computational approach to the Happy End problem

   Perl

5. kryptos kryptos Public

   C++

6. erdos-guy-selfridge erdos-guy-selfridge Public

   Forked from teorth/erdos-guy-selfridge

   Project to verify the Guy-Selfridge conjectures

   TeX