Daniel de Rauglaudre (@roglo)
github

roglo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    43
  • Global Rank 379,383 (Top 14 %)
  • Followers 15
  • Registered almost 9 years ago
  • Most used languages
    Coq     85.7 %
    OCaml
         14.3 %
  • Location 🇫🇷 France
  • Country Total Rank 8,799
  • Country Ranking
    Coq     12
    OCaml
         149

Top repositories

1

banach_tarski

Formal proof in Coq of Banach-Tarski paradox.
Coq
15
star
2

coq_real

Real Numbers using LPO
Coq
8
star
3

mlrogue

Rogue written in OCaml
OCaml
7
star
4

cauchy_schwarz

Formal proof in Coq of Cauchy Schwarz Inequality
Coq
6
star
5

puiseuxth

Formal proof in Coq of Puiseux's Theorem.
Coq
4
star
6

coq_sensitivity

Sensitivity Conjecture in Coq
Coq
2
star
7

coq_homol_algeb

Homologic Algebra in Coq
Coq
1
star