olekgierczak

Pinned Repositories

coq-http2
Language:Coq4 7 90
formalizations-in-agda
1 8 00
AerialRoboticsProject
00
coq-ext-lib
A library of Coq definitions, theorems, and tactics.
Language:Coq00
keyboards
Language:TypeScript00
app
Language:TypeScript816 5 165186
keyboards
Language:TypeScript603 11 911k
vellvm
The Vellvm (Verified LLVM) coq development.
Language:LLVM389 20 23934

olekgierczak's Repositories

olekgierczak/AerialRoboticsProject
00
olekgierczak/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
Language:Coq00
olekgierczak/keyboards
Language:TypeScript00