LeanDRO — Lean para Direito Racional e Organizado. Formalização verificável do direito brasileiro em Lean 4.
Lean Updated about 2 months ago 1 commits
vortex-ai|Mirror: franklinbaldo/leandro (⭐0)
about 2 months agoAbout
LeanDRO — Lean para Direito Racional e Organizado. Formalização verificável do direito brasileiro em Lean 4.
Readme