|
lemma
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
add.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
double.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
equal.kind2
|
unification fine polishments - see notes
|
2024-03-18 16:59:21 -03:00 |
|
half.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
is_gtn.kind2
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
is_ltn.kind2
|
some fixes and add BMap data structure
|
2024-03-20 15:33:17 -03:00 |
|
mul.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
succ.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
zero.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
