search

mgudemann / iimc

Other
11 stars 6 forks source link

How to use fork, join, begin, end #9

Open Gary-oak-Star opened 10 months ago

Gary-oak-Star commented 10 months ago

I have seen there are some special tatics in iimc, the README indicated that "Combinations of proof engines are supported by special tactics: fork, join, begin, end. While these tactics are exposed by the interface, only a few of the syntactically meaningful combinations are supported and they are not meant for general use."

However, I have seen any details instructions to use this in README, could you give me a simple example to apply it? Thanks

mgudemann commented 10 months ago

@Gary-oak-Star please note that I am not a developer. iimc was / is developed at the university of Boulder. I suggest you ask Fabio Somenzi