Anand Rao · @art
22 followers · 101 posts · Server mathstodon.xyz
#LeanSlides - a tool to automatically generate and render #revealjs slides from #markdown comments in the #lean editor: https://github.com/0art0/lean-slides/
#Lean4 #leanprover #lean #markdown #revealjs #leanslides
Last updated 1 year ago