9 lines
319 B
Org Mode
9 lines
319 B
Org Mode
#+TITLE: Coq
|
|
|
|
- [[./sumn.v][sumn.v]]: Sum of first n natural numbers, their squares and cubes.
|
|
- [[./de-morgan.v][de-morgan.v]]: de-Morgan's laws
|
|
- [[./eqns.v][eqns.v]]: A 'hello world' using the 'equations' plugin
|
|
- [[./cpdt/][cpdt/]]: stuff from the book CPDT
|
|
- [[./sf/][sf]]: stuff from /Software foundations/
|
|
|