Bibliography of formalizations of Linear Logic in proof assistants.
(do not hesitate to suggest additional material by opening an issue)
- PowerWebster1999
- acowley/LinearLogic
- kai-qu/linear-logic
- Auger
- M. Sadrzadeh, Modal linear logic in higher order logic: An experiment with Coq (TPHOL 2003)
- ppedrot/ll-coq
- Matafou/ill_narratives
- meta-logic/coq-ll
- olaure01/yalla
- P. Groote, Linear logic with isabelle: Pruning the proof search tree (TABLEAUX 1995)
- S. Kalvala and V. De Paiva, Mechanizing linear logic in Isabelle (1995)