- Committer: Larry Darryl Lee
- Date: 2018-06-15 14:10:09 UTC
- Revision ID: llee454@gmail.com-20180615141009-1nrtwukepefvoprx
[Unstable] Branching to prove that if a point, p, is not in a list, qs, all of the points in qs are different than p.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
_CoqProject |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 37 bytes |
|
|
|
base.v |
4 | 6 years ago | Larry Darryl Lee | Several proofs require me to prove that a point is | 991 bytes |
|
|
|
incidence.v |
23 | 6 years ago | Larry Darryl Lee | [Unstable] Branching to prove that if a point, p, | 32.3 KB |
|
|
|
Makefile |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 5.7 KB |
|
|