ILLTP

swMATH40829MaRDI QIDQ1354518FDOQ1354518

Author name not available (Why is that?)

Official website: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018.7.pdf

Source code repository: https://github.com/meta-logic/lltp

Described by source

• The ILLTP library for intuitionistic linear logic

Cited In (5)

• Resourceful program synthesis from graded linear types
• Title not available (Why is that?)
• linTAP
• llprover
• Sympli

This page was built for software: ILLTP