Skip to content

Activity

Showing most recent first

Added new natural number syntax operations

gilithpushed 1 commit to master • 5c738c6…cef1445 • 
on Jan 15, 2024

Basic syntax and printing in TPTP format

gilithpushed 1 commit to master • 4c49aa4…5c738c6 • 
on Nov 13, 2023