GitHub repository: tirix/q0.mm
Primary language: Objective-C++
Created: 2017-05-18T17:13:18Z
Description: A Metamath library for the Q0 logic