Rudolf Adamkovič Personal site


Formal science

A science

based on formal proofs.

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.