~llee454/llee454-incident-geometry/master

From Revision 55 to 36

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
55		Drafted the list cut function. Drafted the list cut function.	Larry D. Lee Jr.	5 years ago
54		Sketched out a way forward to sharpen the point_set_list_rem... Sketched out a way forward to sharpen the point_set_list_remove function.	Larry Darryl Lee	5 years ago
53		Defined sublists and proved point_list_sublist_subset. Defined sublists and proved point_list_sublist_subset.	Larry Darryl Lee	5 years ago
52		finished renaming point list functions and theorems. finished renaming point list functions and theorems.	Larry Darryl Lee	5 years ago
51		Renamed multiple results to introduce a consistent and hopef... Renamed multiple results to introduce a consistent and hopefully clearer naming convention.	Larry Darryl Lee	5 years ago
50		Proved that distinct_point_list_remove returns a sublist and... Proved that distinct_point_list_remove returns a sublist and attempted to prove that the resulting list is distinct.	Larry Darryl Lee	5 years ago
49		Proved that point_list_remove reduces lengths by one. Proved that point_list_remove reduces lengths by one.	Larry Darryl Lee	5 years ago
48		Proved tem0 Proved tem0	Larry Darryl Lee	5 years ago
47		Drafted a restricted proof for distinct_point_list_remove. Drafted a restricted proof for distinct_point_list_remove.	Larry Darryl Lee	5 years ago
46		[Unstable] branching to sketch distinct_point_list_remove. [Unstable] branching to sketch distinct_point_list_remove.	Larry Darryl Lee	5 years ago
45		[Unstable] Sketched. [Unstable] Sketched.	Larry Darryl Lee	5 years ago
44		[Unstable] Finished proving point_set_add. [Unstable] Finished proving point_set_add.	Larry Darryl Lee	5 years ago
43		[Unstable] Proved points_not_different_In. [Unstable] Proved points_not_different_In.	Larry Darryl Lee	5 years ago
42		[Unstable] Proved points_different_dec. [Unstable] Proved points_different_dec.	Larry Darryl Lee	5 years ago
41		[Unstable] Branching to prove points_different_dec. [Unstable] Branching to prove points_different_dec.	Larry Darryl Lee	5 years ago
40		[Unstable] Branching to define point_set_add. [Unstable] Branching to define point_set_add.	Larry Darryl Lee	5 years ago
39		[Unstable] Proved point_set_disjoint_sym. [Unstable] Proved point_set_disjoint_sym.	Larry Darryl Lee	5 years ago
38		[Unstable] Proved point_set_in_dec. [Unstable] Proved point_set_in_dec.	Larry Darryl Lee	5 years ago
37		[Unstable] A real mess sketching out point sets based on dis... [Unstable] A real mess sketching out point sets based on distinct point lists.	Larry Darryl Lee	5 years ago
36		[Unstable] Designed the next set of theorems, reviewed exist... [Unstable] Designed the next set of theorems, reviewed existing theorems, revised points_distinct_remove for readability.	Larry Darryl Lee	5 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1