nonilole

Pinned Repositories

Welcome
Language:HTML1 8 00
IOLite_Multimodal-Interaction
This Project is about developing an application for the IOLITE Plattform.
Language:JavaScript0 5 00
spacets
Language:C#00
Conan
A proof editor for first order logic
Language:Java26 6 32
PIS
Easy-PISy
Language:C0 3 00

nonilole's Repositories

nonilole/Conan
A proof editor for first order logic
Language:Java26 6 32