Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
pjmlp
2y ago
0 comments
Save
Share
Which is also a Microsoft created language,
https://en.wikipedia.org/wiki/Lean_(proof_assistant)
0 comments
2 comments · 1 top-level
top
newest
oldest
mintplant
2y ago
· 1 in thread
Yes, Microsoft Research is huge in this space. Z3, Boogie, Corral, Dafny, F*, Lean...
naasking
2y ago
F* seemed promising at one point, but haven't heard much about it in a long time, what happened to it?
j
/
k
navigate · click thread line to collapse
