It was the first POC used to develop the theory. The working version of the code is maintained here: https://github.com/libtx/slot
Primary LanguageCoq