📕 subnode [[@jakeisnt/2021 11 15]]
in 📚 node [[2021-11-15]]
some cool sat things to check out
http://www.cs.cornell.edu/~sabhar/publications/symchaffAAAI05.pdf http://ai.stanford.edu/~chuongdo/satpage/index.html https://roundtablelaw.medium.com/utterly-unpersuasive-formal-methods-and-law-bb8ecf048374
- Catala: A DSL for implementing legislative text https://law.mit.edu/pub/ideaflow8/release/5
- CiteSeerX — The Role of Verification in Improving the Quality of Legal Decisi…
- Formal Methods as a Link between Software Code and Legal Rules | SpringerLink
- Utterly Unpersuasive: Formal Methods and Law | by Jason Morris | Medium
- http://ceur-ws.org/Vol-1844/10000524.pdf
- https://accordproject.org/projects/ergo/: DSL to model legal contracts
📖 stoas
- public document at doc.anagora.org/2021-11-15
- video call at meet.jit.si/2021-11-15