Giters
flypitch

flypitch

Geek Repo

12

followers

2

following

5

stars

Company:University of Pittsburgh

Location:Pittsburgh

Home Page:flypitch.github.io

Github PK Tool:Github PK Tool

flypitch's repositories

flypitch

A formal proof of the independence of the continuum hypothesis

Language:LeanLicense:Apache-2.0Stargazers:115Issues:13Issues:30

flypitch-cpp-2020

Language:TeXLicense:Apache-2.0Stargazers:2Issues:3Issues:0

flypitch-itp-2019

Language:TeXStargazers:2Issues:2Issues:0

flypitch-notes

Language:TeXStargazers:2Issues:0Issues:0

flypitch.github.io

Language:HTMLStargazers:1Issues:0Issues:0

mathlib

Lean mathematical components library

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0