Alex Gryzlov 4fffdec6e8 Merge remote-tracking branch 'upstream/master'		2020-06-12 16:39:37 +02:00
..
Fin	various stdlib updates	2020-06-11 23:14:11 +02:00
Linear	Be explicit about multiplicity in Array	2020-06-12 14:18:57 +01:00
List	some proofs and views around lists (#133)	2020-06-01 08:28:37 +01:00
Nat	Define the notion of Factor and GCD and prove some of their properties.	2020-06-01 13:41:00 +02:00
String	Fix import loading	2020-05-27 15:49:03 +01:00
SortedMap.idr	various stdlib updates	2020-06-11 23:14:11 +02:00
SortedSet.idr	Add libraries	2020-05-18 14:00:08 +01:00