Julien Narboux (@jnarboux)
github

jnarboux

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 969,101 (Top 34 %)
  • Followers 29
  • Following 29
  • Registered almost 13 years ago
  • Most used languages
    Coq     50.0 %
    Verilog     25.0 %
    TeX
         25.0 %
  • Location 🇫🇷 France
  • Country Total Rank 22,765
  • Country Ranking
    Coq     32
    Verilog     46
    TeX
         298

Top repositories

1

MediationInfoStrasbourg

Documents utilisés pour de la vulgarisation informatique, surtout du débranché
TeX
4
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