Pablo Donato (@Champitoad)
github

Champitoad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,018,276 (Top 36 %)
  • Followers 12
  • Following 5
  • Registered almost 13 years ago
  • Most used languages
    Coq     28.6 %
    HTML
         14.3 %
    Elm
         14.3 %
    TeX
         14.3 %
    Makefile     14.3 %
    OCaml
         14.3 %
  • Location 🇫🇷 France
  • Country Total Rank 28,802
  • Country Ranking
    Coq     44
    Elm
         54
    OCaml
         338
    Makefile     684
    TeX
         784
    HTML
         6,289

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