They're using Lean for the proofing for those interested. It's a pretty neat system from the little I've seen. Uses a graph to represent the proof path and pre-requisites, and it's kinda integrated with TeX.
this post was submitted on 18 Mar 2024
10 points (100.0% liked)
science
22541 readers
38 users here now
Welcome to Hexbear's science community!
Subscribe to see posts about research and scientific coverage of current events
No distasteful shitposting, pseudoscience, or COVID-19 misinformation.
founded 4 years ago
MODERATORS
I found a YouTube link in your comment. Here are links to the same video on alternative frontends that protect your privacy: