- 566a295 extra lemma proof and redundant proof procedure deletion (#5) by SeanVer · 2 years, 3 months ago master
- 7e2a7a6 Merge pull request #4 from apache/ci by Yulong Zhang · 3 years, 2 months ago
- 79cd9db Integrate with Travis CI by Yulong Zhang · 3 years, 2 months ago
- 2881641 Merge pull request #3 from apache/cmd_build by Yulong Zhang · 3 years, 2 months ago
- afc0721 Add Isabelle command line build file by Yulong Zhang · 3 years, 2 months ago
- cc3aa0c Merge pull request #2 from SeanVer/master by Yulong Zhang · 3 years, 2 months ago
- 8617dc0 Extra lemma proof and add more axioms by 小狈 · 3 years, 2 months ago
- 50fe7b2 update README.md at root directory by 小狈 · 3 years, 2 months ago
- 76abb09 baseline for the formal description and verification of access control module of incubator-teaclave by 小狈 · 3 years, 2 months ago
- 952d50e Initial commit by Mingshen Sun · 3 years, 2 months ago
