Generic automation framework for acceptance testing and RPA
- robotframework
- testing
- automation
- testautomation
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
A generic goal preprocessing tool for proof automation tactics in Coq
47,133 repositories indexed
1–2 of 2 · Most stars
Generic automation framework for acceptance testing and RPA
A generic goal preprocessing tool for proof automation tactics in Coq