October 24, 2020 - October 24, 2021

Overview

0 Active Pull Requests
0 Active Issues
Excluding merges, 1 author has pushed 5 commits to main and 5 commits to all branches. On main, 24 files have changed and there have been 5978 additions and 16 deletions.

2 Releases published by 1 user

Published
afp-current-Isabelle2021 8 months ago

Published
afp-Extended_Finite_State_Machines-current-Isabelle2020 10 months ago