Leonardo de Moura
|
510168a387
|
refactor(library,hott): remove unnecessary annotations
|
2016-02-25 12:26:20 -08:00 |
|
Leonardo de Moura
|
b94e31a72c
|
refactor(library): remove algebra namespace
|
2015-12-05 23:50:01 -08:00 |
|
Leonardo de Moura
|
3369152559
|
fix(library/data,library/theories): fin, bag, finset, hf, list, ...
|
2015-11-08 14:04:54 -08:00 |
|
Sebastian Ullrich
|
d1b5031dbd
|
feat(library): add some spacing hints
|
2015-09-30 17:36:32 -07:00 |
|
Leonardo de Moura
|
60ba3d15ff
|
feat(library/data/matrix): add basic matrix module
|
2015-08-01 19:33:31 +01:00 |
|