Ruben Seyer's repositories
pistophylax
Natural deduction proof assistant
romanesco
Expenses reporting system
Language:PythonEUPL-1.2000
University of Gothenburg/Chalmers University of Technology
Gothenburg, Sweden
Natural deduction proof assistant
Expenses reporting system