ILLTP

MaRDI QIDQ1354518swMATHFDO

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
• linTAP
• llprover
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• Sympli

This page was built for software: ILLTP