aboutsummaryrefslogtreecommitdiff
path: root/academic/Isabelle
AgeCommit message (Expand)Author
2023-07-18academic/Isabelle: Added (proof assistant).Lockywolf