GitHub repository: Ginny99/forallxPecs
Primary language: TeX
Description: Hungarian Translation of P.D. Magnus' forallx logic textbook