mai: MAth Interpreter with Standard Foundations
first-order-logic
proof-assistant
set-theory
formal-mathematics
foundations-of-mathematics
automated-theorem-proving
-
Updated
Sep 10, 2024 - Prolog