summary refs log tree commit diff
path: root/pkgs/applications/science/logic
ModeNameSize
d---------coq170log plain
d---------hol_light334log plain
d---------isabelle81log plain
d---------ssreflect39log plain
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-26 11:16:23 +0000