Nanosai.com
Subscribe
Sign in
Share this discussion
Software Verification Course with Lean
nanosai.substack.com
Copy link
Facebook
Email
Note
Other
Software Verification Course with Lean
Nanosai
Jun 12, 2023
Share this post
Software Verification Course with Lean
nanosai.substack.com
Copy link
Facebook
Email
Note
Other
A free crash course with focus on functional programming.
Read →
0 Comments
Share
Share
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
Software Verification Course with Lean
Software Verification Course with Lean
Software Verification Course with Lean
A free crash course with focus on functional programming.