GitHub repository: seisyuu-hantatsushi/implement_set_theory_in_coq
Created: 2020-02-02T13:10:15Z
Description: Implement set theory in coq.