Search Results for "drcom-for-linux"
Sort By:
Proof Logic : A logical framework for theorem proving
foundation of the General Intelligence Operating System
dependently typed functional programming language