GitHub topics: formal-theory
agencer/aboutme Fork of mavroudisv/plain-academic
The personal website of Alper Sukru Gencer
Language: HTML - Size: 17.1 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0
bgb10/lambda-to-SKI-translator
Lambda to SKI translator : 2020-2 Automata and Formal Theory
Language: Python - Size: 19.3 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
