g-regex

I am a student of mathematics and computer science, interested in the bridging of these two sciences.

Pinned Repositories

gentoo-ebuilds
Language:Shell0 1 00
katydid-proofs
Proofs written in Lean4 for the core katydid validation algorithm
Language:Lean0 0 00
prove
[prove]: proof verification system using bracketed expressions
Language:C00
sofia_haskell
sofia_haskell
Language:Haskell2 1 00
WillowTikZ
Language:Haskell0 1 00

g-regex's Repositories

g-regex/sofia_haskell
sofia_haskell
Language:Haskell2 1 00
g-regex/gentoo-ebuilds
Language:Shell0 1 00
g-regex/katydid-proofs
Proofs written in Lean4 for the core katydid validation algorithm
Language:Lean0 0 00
g-regex/prove
[prove]: proof verification system using bracketed expressions
Language:C00
g-regex/WillowTikZ
Language:Haskell0 1 00