Hexirp/googology-in-coq Hexirp/googology-in-coq

  • Stars
    star
    2
  • Language Coq
  • Created over 4 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Hexirp/googology-in-coq
github

Hexirp

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Googology in Coq

More Repositories

1

doctest-driver-gen

Generate driver file for doctest's cabal integration.
Haskell
6
star
2

github-trends

Scrape GitHub's Trends
Haskell
5
star
3

blog

Hexirp's Blog
Coq
3
star
4

googology

Haskell
1
star
5

depgraphdiv

Divide modules into packages according to the dependecy graph
Haskell
1
star
6

hexirp-hakyll

I decided to deeply fork hakyll.
Haskell
1
star
7

yhseq

YHๆ•ฐๅˆ—ใ‚ทใ‚นใƒ†ใƒ ใฎๅฎŸ่ฃ…
Haskell
1
star
8

haskell-gist

gistlike repository
Haskell
1
star
9

akariki

ใƒฌใƒƒใƒ‰ใ‚นใƒˆใƒผใƒณ้–ขไฟ‚ใ‚’ๆ‹กๅผตใ—ใพใ™ ๐Ÿ’ฅ
Scala
1
star