Happy Sariyanto
Happy Sariyanto
Affiliation: University of Greifswald
Pages in this Program
A light-weight proof checker for TSTP refutations
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑