Software Analyst Programmer / Process and Automation Consultant
Pinned Loading
-
-
Nan.Numerics.Prime-Prolog
Nan.Numerics.Prime-Prolog PublicA simple prime number library (in Prolog)
-
STUDY.Physics.SpecialRelativity
STUDY.Physics.SpecialRelativity PublicPhysics Case Studies: Special Relativity
JavaScript 1
-
STUDY.Mathematics.NumberTheory
STUDY.Mathematics.NumberTheory PublicMathematical Studies: Number Theory
JavaScript
-
Epimenides Paradox (in Coq)
Epimenides Paradox (in Coq) 1(**
2Epimenides' Paradox (v1.3-draft)
34<< 'Morning everybody,
5"Epimenides lies iff everybody lies!" which
-
Einstein's riddle in Prolog
Einstein's riddle in Prolog 1/*
2Einstein's riddle: who owns the fish?
34There are 5 houses in 5 different colors in a row. In each house lives a
5person with a different nationality. The 5 owners drink a certain type of
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.