Pablo Donato (@Champitoad)
github

Champitoad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,034,169 (Top 36 %)
  • Followers 13
  • Following 5
  • Registered over 13 years ago
  • Most used languages
    Coq     28.6 %
    Makefile     14.3 %
    OCaml
         14.3 %
    Elm
         14.3 %
    HTML
         14.3 %
    TeX
         14.3 %
  • Location ๐Ÿ‡ซ๐Ÿ‡ท France
  • Country Total Rank 28,802
  • Country Ranking
    Coq     44
    Elm
         55
    OCaml
         404
    Makefile     639
    TeX
         854
    HTML
         6,364

Top repositories

1

flower-prover

Can ๐ŸŒธ be turned into a direct manipulation GUI for theorem proving?
Elm
3
star
2

focalisation-classical-realizability

Prรฉsentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
TeX
1
star
3

CoqHopf

Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
HTML
1
star
4

flowers-metatheory

Can โœฟ capture intuitionistic logic?
Coq
1
star
5

LambdaSub

Formalization in Coq of a simply typed ฮป-calculus extended with records and subtyping.
Makefile
1
star
6

cbpv

A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Coq
1
star
7

flower-auto

Can โ€ decide intuitionistic propositional logic?
OCaml
1
star