Skip to content
GitLab
Explore
Sign in
courses
FAU
AI
problems
Issues
#4
It is better for FOL problems to have variables that are not X, Y (because of handwriting)