Registered user since Tue 2 Sep 2025
Name:Péter Bereczky
Country:Hungary
Affiliation:Eötvös Loránd University
GitHub: https://github.com/berpeti
Research interests:Formal verification, Erlang, Rocq, Formal semantics
Contributions
Using general profile