GitHub repository: sctfn/metamath-nf
Primary language: HTML
Created: 2015-02-22T21:54:27Z
Description: New Foundations set theory developed in metamath