I'm interested in functional programming, specification, software paradigms, computer-assisted proof’s and formal methods in general.
Block or Report
Block or report vitaB
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
motion-planning
motion-planning Publicproof of robot motion planning algorithms with Isabelle
Isabelle
-
spring-base-crud-endpoint
spring-base-crud-endpoint Publicboilerplate for spring crud endpoint
Kotlin
-
dit-calendar
dit-calendar Public archiveForked from dit-calendar/dit-calendar
user task management calendar with a server, web-ui and telegram bot
Haskell
-
-
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.