jnarboux/PA_a_priori_analysis jnarboux/PA_a_priori_analysis

  • Stars
    star
    1
  • Language Coq
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jnarboux/PA_a_priori_analysis
github

jnarboux

Reviews

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

Repository Details

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

More 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