Marcel Ullrich
Results
21
issues of
Marcel Ullrich
Many files in the autoinduct folder already have good documentation. However, the general ReadMe misses an introduction like given in `ltac1`. A redirect to `ltac1` for motivation and ideas already...