michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
276 commits 2 branches 0 tags 2.7 MiB
Commit graph

2 commits

Author SHA1 Message Date
Floris van Doorn
ed7de51d02 move basic lemmas from the spectral repository to the main repository 2017-06-02 12:15:31 -04:00
Floris van Doorn
fcbdb472c8 todo file 2017-05-25 13:46:48 -04:00