📚 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
⥱ context
← back
(none)
(none)
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
→ forward
(none)
(none)
⥅ related node [[pasted image 20211114181557]]
⥅ related node [[pasted image 20210621181527]]
⥅ related node [[20211129152900 local_first_software]]
⥅ related node [[20210116154952 category]]
⥅ related node [[20210117151327 endorelation]]
⥅ related node [[20210511215432 hitler]]
⥅ related node [[20210511215745 red_guard]]
⥅ related node [[20210511215939 freikorps]]
⥅ related node [[pasted image 20210120211015]]
🔎 full text search for '2021 11 15'