INFO:
Research talk: Correct computational law and civil procedure with the Lean Proof Assistant - Microsoft Research