- Committer: Larry Darryl Lee
- Date: 2018-08-08 14:08:22 UTC
- Revision ID: llee454@gmail.com-20180808140822-goru6qne96c0mya3
Proved that point_list_remove reduces lengths by one.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
_CoqProject |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 37 bytes |
|
|
|
base.v |
4 | 5 years ago | Larry Darryl Lee | Several proofs require me to prove that a point is | 991 bytes |
|
|
|
incidence.v |
49 | 5 years ago | Larry Darryl Lee | Proved that point_list_remove reduces lengths by o | 62.6 KB |
|
|
|
Makefile |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 5.7 KB |
|
|