Explore projects
-
-
-
Liu, Tony / predlog
OtherThis is a implementation of first order predicate logic statement evaluator.
Updated -
-
Updated
-
-
-
temporal project where I do my unassessed haskell exercises
Updated -
Daniel Trowbridge / WACC_19 Gigaparsec Fork
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated