Age | Commit message (Expand) | Author |
---|---|---|
2021-05-09 | Update my email address (scripted) | Florian Franzmann |
2018-02-05 | haskell/haskell-djinn-lib: new spell, a theorem prover for intuitionistic pro... | Florian Franzmann |
index : smgl/grimoire.git | ||
test grimoire | SMGL |
summaryrefslogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
2021-05-09 | Update my email address (scripted) | Florian Franzmann |
2018-02-05 | haskell/haskell-djinn-lib: new spell, a theorem prover for intuitionistic pro... | Florian Franzmann |