adampalay/coq-intro adampalay/coq-intro

  • Stars
    star
    1
  • Language Coq
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adampalay/coq-intro
github

adampalay

Reviews

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

Repository Details

Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document

More Repositories

1

SKITypes

Implementing the SKI combinator calculus in Haskell's type system
Haskell
6
star
2

circuit-finder

use tla+ to find programs, from circuits, quantum, to Lisp
TLA
5
star
3

pypoems

Python
3
star