https://github.com/jcaesar/bdd

BDD
https://github.com/jcaesar/bdd

Last synced: 5 months ago
JSON representation

BDD

• Host: GitHub
• URL: https://github.com/jcaesar/bdd
• Owner: jcaesar
• Created: 2015-10-21T16:04:44.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2021-03-28T01:57:57.000Z (almost 5 years ago)
• Last Synced: 2025-04-04T01:11:59.217Z (10 months ago)
• Language: Isabelle
• Size: 3.27 MB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
How to build:

	isabelle build -D thy

	make -C hs

Run an example:

	

	time hs/BDDCal