summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic
ModeNameSize
d---------coq85logstatsplain
d---------isabelle81logstatsplain
d---------ssreflect39logstatsplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-27 17:47:49 +0000