A Collection of Isabelle Programming Hacks
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

163 B

Isabelle Hacks

License

If not otherwise stated, all sub-projects are licensed under a 2-clause BSD-style licensei.

SPDX-License-Identifier: BSD-2-Clause