1 - Hilbert II 0.04.07 Beta Hilbert II : Check math axioms and create your own knowledge database License: GNU Public License OS: Windows Size: 7.9 MB KB
25/11/2023
2 - Principia Mathematica II 0.00.53 Principia Mathematica II : Predicate logic tool built in Java License: Freeware OS: Windows Size: 1 KB KB
4/11/2023
3 - Simulum 0.04.44 Simulum deals with different simulations of star movements and their visualizations. License: GNU Public License OS: Windows 9X/ME/2K/XP/2003 Size: 622 KB