jnarboux/Coq_verbose jnarboux/Coq_verbose

  • Stars
    star
    3
  • Rank 3,891,884 (Top 79 %)
  • Language Coq
  • License
    GNU General Publi...
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jnarboux/Coq_verbose
github

jnarboux

Reviews

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

Repository Details

Some tactics to write more readable proofs in Coq

More Repositories

1

MediationInfoStrasbourg

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