Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
![]() |
|||||||
![]() |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 37 bytes |
![]() |
![]() |
![]() |
4 | 6 years ago | Larry Darryl Lee | Several proofs require me to prove that a point is | 991 bytes |
![]() |
![]() |
![]() |
25 | 6 years ago | Larry Darryl Lee | [Unstable] Proved not_In_head. | 33.3 KB |
![]() |
![]() |
![]() |
3 | 6 years ago | Larry Darryl Lee | [Unstable][1:57] | 5.7 KB |
![]() |
![]() |