Document Calculus formal system implementation in Lean 4 for document manipulation
This repository is not active