PhD student in mathematics interested in computer assisted proofs.
-
Uppsala University
- dahne.eu
Stars
1
result
for source starred repositories
written in Vala
Clear filter
A presenter console with multi-monitor support for PDF files.