- Website: https://malv.in/
- Pronouns: he/him
π€
cyclogician
-
ILLC, University of Amsterdam
- EU
-
17:29
(UTC +02:00) - https://malv.in
- @m4lvin@scholar.social
- https://orcid.org/0000-0002-2498-5073
- https://gitlab.com/m4lvin
- https://sr.ht/~m4lvin
Block or Report
Block or report m4lvin
Report abuse
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abusePinned
-
jrclogic/SMCDEL
jrclogic/SMCDEL PublicA symbolic model checker for Dynamic Epistemic Logic.
-
dining-benchmark
dining-benchmark Publicπ½οΈ π Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
C++
-
modal-tableau-interpolation
modal-tableau-interpolation PublicModal Tableau with Interpolation in Haskell
Haskell 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.