The web page for Deduce is at the following link:
https://jsiek.github.io/deduce/
The directory structure:
/docDocumentation for Deduce/testDeduce files used for testing Deduce./logosThe Hippopotamus logo and other images.
The web page for Deduce is at the following link:
https://jsiek.github.io/deduce/
The directory structure:
/doc Documentation for Deduce/test Deduce files used for testing Deduce./logos The Hippopotamus logo and other images.