Julien Narboux (@jnarboux)
github

jnarboux

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,015,309 (Top 36 %)
  • Followers 28
  • Following 29
  • Registered over 12 years ago
  • Most used languages
    Coq     50.0 %
    Verilog     25.0 %
    TeX
         25.0 %
  • Location 🇫🇷 France
  • Country Total Rank 22,765
  • Country Ranking
    Coq     34
    Verilog     53
    TeX
         393

Top repositories

1

MediationInfoStrasbourg

Documents utilisés pour de la vulgarisation informatique, surtout du débranché
TeX
3
star
2

Coq_verbose

Some tactics to write more readable proofs in Coq
Coq
3
star
3

GCS

Geometric constraint systems in Coq
Verilog
1
star
4

PA_a_priori_analysis

Accompanying files for the paper "Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis"
Coq
1
star