Skip to content
GitLab
Explore
Sign in
SMGloM
functional-analysis
Repository
functional-analysis
.gitignore
Find file
Blame
History
Permalink
fixing \PrologLanguage
· c3b4a92e
Michael Kohlhase
authored
Jul 04, 2023
c3b4a92e