search

ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

added Godel and its proofs #7

Closed ndslusarz closed 1 year ago

ndslusarz commented 1 year ago

Godel DL added (with proofs)