Project

General

Profile

« Previous | Next » 

Revision d2db7e40

IDd2db7e403b45ba7fc1dc12ffddf126031673e2c3
Parent 309b71a5
Child a2cd9f2a

Added by Christoph Egger almost 4 years ago

Add prototypes for checker functions

We need to enforce some assumptions for μ-Calculus. Add (still empty)
checker function and call them when importing the forumla

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences