Geeks
memoryleak47
memoryleak47 Home
memoryleak47 GitHub
60
Repos
1
Star
22
Followers
15
Following
memoryleak47's Stars
nick8325/
twee
An equational theorem prover based on Knuth-Bendix completion
Language:
Haskell
49
12