You must be logged in to sponsor practal
Become a sponsor to Practal
Practal is short for Practical Logic.
Our goal is to create A Bicycle for Your Mathematical Mind! To find out what we exactly mean by that, please visit practal.com.
Here is an overview of our planned products for 2023 so far, visit Practal on GitHub for more information:
2 sponsors have funded practal’s work.
Meet the team
-
Steven Obua phlegmaticprogrammerI love making virtual artifacts by combining rigorous thinking with creativity and design. I hold a diploma in mathematics and a Ph.D. in computational logic.