PDTypes

Code supporting Planning Languages and Types work done at Heriot-Watt and St Andrews Universities

Pinned Repositories

ActionsYouCanHandle
Language:Agda1 4 00
AutomationResults
Additional automation examples for thesis submission
Language:Haskell00
OlderCode
Proof of concept companion code for "Proof-Carrying Plans"
00
PADL19
Language:Agda2 4 00
PCPLogic
Language:Agda1 3 00
Proof-Carrying-Plans
Language:Agda00

PDTypes's Repositories

PDTypes/PADL19
Language:Agda2 4 00
PDTypes/ActionsYouCanHandle
Language:Agda1 4 00
PDTypes/PCPLogic
Language:Agda1 3 00
PDTypes/AutomationResults
Additional automation examples for thesis submission
Language:Haskell00
PDTypes/OlderCode
Proof of concept companion code for "Proof-Carrying Plans"
00
PDTypes/Proof-Carrying-Plans
Language:Agda00