Skip to content

MFCS2020

Pre-release
Pre-release
Compare
Choose a tag to compare
@yutakang yutakang released this 05 May 11:54
· 535 commits to master since this release
v0.1.6-alpha
0e5dad6

This is the submission to MFCS2020.

Users have to build this file.

Assuming your current directory is the top directory of this repository, the necessary command should look like the following:

(path-to-the-Isabelle-binary)isabelle jedit -d PSL/ -l PSL -d LiFtEr/ -l LiFtEr -d Smart_Induct/ -l Smart_Induct

where PSL/ after -d should be the path to the sub-directory PSL/PSL, and LiFtEr after -d should be the path to the sub-directory PSL/LiFtEr, and so on.

For more details, see The Isabelle System Manual.

Assets 2
Loading