Explore projects
-
-
Updated
-
-
Updated
-
Updated
-
-
-
DoC backup of https://github.com/resource-reasoning/jscert_dev
Updated -
-
temporal project where I do my unassessed haskell exercises
Updated -
Updated
-
-
Updated
-
This is a implementation of first order predicate logic statement evaluator.
Updated -
-
-
Updated
-
Updated