https://github.com/wenkokke/dipsy

an implementation of Display Calculus in Agda
https://github.com/wenkokke/dipsy

framework logic no-longer-maintained work-in-progress

Last synced: 3 months ago
JSON representation

an implementation of Display Calculus in Agda

• Host: GitHub
• URL: https://github.com/wenkokke/dipsy
• Owner: wenkokke
• License: mit
• Created: 2017-04-03T17:02:35.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-10-08T22:36:50.000Z (over 6 years ago)
• Last Synced: 2025-01-07T21:25:18.032Z (5 months ago)
• Topics: framework, logic, no-longer-maintained, work-in-progress
• Language: Agda
• Homepage:
• Size: 1.95 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Dipsy

An implementation of the Display Calculus in Agda.