I may be slow to respond.
Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)
- Kanagawa, Japan
- https://kuniwak.com
- @orga_chem
- https://blog.kuniwak.com
Highlights
Stars
4
stars
written in Isabelle
Clear filter