Mercurial > hg > Members > kono > Proof > category
graph
-
on goging2017-06-12, by Shinji KONO
-
freyd22017-06-12, by Shinji KONO
-
fix2017-06-08, by Shinji KONO
-
fix for new agda2017-06-08, by Shinji KONO
-
another snat-cong approach2017-06-08, by Shinji KONO
-
comm22017-06-05, by Shinji KONO
-
two field again ...2017-06-05, by Shinji KONO
-
makeEqu/makeProd does not woek2017-06-05, by Shinji KONO
-
prove fe=ge in limit-to2017-06-05, by Shinji KONO
-
Set Completeness unfinished2017-06-03, by Shinji KONO
-
fix2017-06-02, by Shinji KONO
-
try two field again2017-06-02, by Shinji KONO