Add flypitch/flypitch

Author: SnO2WMaN

data.yaml

@@ -225,3 +225,14 @@ ruplet/formalization-of-bounded-arithmetic:
   tags:
     - bounded arithmetic
     - computational complexity
+
+flypitch/flypitch:
+  title: flypitch/flypitch
+  authors:
+    - name: Jesse Michael Han
+    - name: Floris van Doorn
+  repository:
+    url: https://github.com/flypitch/flypitch
+  language: Lean3
+  description: |
+    A formal proof of the independence of the continuum hypothesis.

output/style.css

@@ -118,9 +118,9 @@ a:hover {
   border: 1px solid #d0d7de;
 }
 
-.lang-lean {
+.lang-lean3 {
   background: #fff;
-  color: #000;
+  color: #1f2328;
   border: 1px solid #d0d7de;
 }
 
@@ -242,4 +242,4 @@ a:hover {
   color: #1f2328;
   border-color: #636c76;
   text-decoration: none;
-}
+}