Franck
Interested in formal methods, software verification, distributed systems, Dafny, Scala
Joined on Sep, 2015•17 repositories
Pull Requests
41
Code Reviews
159
Top Repositories
#
Repository
Stars
Forks
Issues (open)
Contributors
Activity Feed (latest 6)
pushed to main in franck44/verus-cetus-integer-mate
Jun 25, 2025, 4:08 AM
pushed to main in franck44/verus-cetus-integer-mate
Jun 23, 2025, 12:35 AM
reviewed a pull request in movementlabsxyz/MIP
Jun 18, 2025, 1:24 AM
pushed to main in franck44/dafny-cetus-math-256
Jun 10, 2025, 1:07 AM
pushed to main in franck44/dafny-cetus-math-256
Jun 10, 2025, 1:06 AM
pushed to main in franck44/dafny-cetus-math-256
Jun 10, 2025, 1:05 AM