Since you're here, consider paying this poor PhD student a coffee :)
And oh, don't forget to check out the Type Theory Forall Podcast!!
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSince you're here, consider paying this poor PhD student a coffee :)
And oh, don't forget to check out the Type Theory Forall Podcast!!
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…
Brazilian portuguese translation [WIP]