Content deleted Content added
→Exponentials: added definition of why-not of a context Tags: Mobile edit Mobile web edit Advanced mobile edit |
→External links: added link to another prover Tags: Mobile edit Mobile web edit Advanced mobile edit |
||
Line 536:
* {{Commons category-inline}}
* [http://bach.istc.kobe-u.ac.jp/llprover/ A Linear Logic Prover (llprover)] {{Webarchive|url=https://web.archive.org/web/20160404181455/http://bach.istc.kobe-u.ac.jp/llprover/ |date=2016-04-04 }}, available for use online, from: Naoyuki Tamura / Dept of CS / Kobe University / Japan
* [https://click-and-collect.linear-logic.org/ Click And Collect] interactive linear logic prover, available online
{{Non-classical logic}}
| |||