#

leo-iii

Here is 1 public repository matching this topic...

danmcne / property-theory

A formal, axiomatic treatment of libertarian property theory for Leo-III

property theorem-proving lean theory tptp formal-verification axioms thf leo-iii

Updated Jun 8, 2024

Improve this page

Add a description, image, and links to the leo-iii topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leo-iii topic, visit your repo's landing page and select "manage topics."