profile
viewpoint
nodejs vue.js ry ( nodejs Founder ) React Rust tensorflow Spring Boot golang

atomb/core-to-isabelle

Translator from GHC Core to Isabelle/HOLCF

https://github.com/atomb/core-to-isabelle

atomb

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

dagit
atomb
caylee-hogg