jnarboux/MediationInfoStrasbourg jnarboux/MediationInfoStrasbourg

  • Stars
    star
    3
  • Rank 3,891,884 (Top 79 %)
  • Language
    TeX
  • Created over 6 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jnarboux/MediationInfoStrasbourg
github

jnarboux

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Documents utilisés pour de la vulgarisation informatique, surtout du débranché

More Repositories

1

Coq_verbose

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

GCS

Geometric constraint systems in Coq
Verilog
1
star
3

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