Skip to content
@PDTypes

PDTypes

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

  • Agda Updated Dec 29, 2018
  • Proof of concept companion code for "Proof-Carrying Plans"

    Updated Sep 24, 2018

Top languages

Loading…

Most used topics

Loading…

0

People

This organization has no public members. You must be a member to see who’s a part of this organization.

You can’t perform that action at this time.