Skip to content

PyTactician v15.0
Compare
Choose a tag to compare
@LasseBlaauwbroek LasseBlaauwbroek released this 23 Oct 05:02
· 74 commits to coq8.11 since this release
pytactician-v15.0
45a847e 
pytactician-v15.0

Finish pytactician compile and release pipeline
Assets 2
Loading