Post

Really enjoyed this talk by @harrisongoldste.in that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting

Lean Focused Research Organization

@lean-lang.org

www.youtube.com/watch?v=c5LO...

youtube.comThe Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006YouTube video by Antithesis

30/6/25, 10:37 pm0 reposts3 likes

No replies yet.