search

ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

Proof of soundness for Godel and product translations + vector lookups #15

Closed hoheinzollern closed 1 year ago

hoheinzollern commented 1 year ago

Also reintroduces vector lookups in the translation