R&D Engineer
-
Expleo
- Toulouse, France
- https://boris.shminke.com
- in/inpefess
Block or Report
Block or report inpefess
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
gym-saturation
gym-saturation Publica collection of Gymnasium environments for saturation provers
-
isabelle-client
isabelle-client PublicA client for Isabelle server (https://isabelle.in.tum.de)
-
-
-
practical-logic-handbook
practical-logic-handbook PublicSome code inspired by "Handbook of Practical Logic and Automated Reasoning" by John Harrison
Scala 1
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.