Theorem marketplace source code

https://github.com/wadimiusz/theorem-marketplace

I have made the source code of https://theorem-marketplace.com public; it’s here in my github.

The web site is actually a pretty complex system which includes interactions between the frontend, syntax checker, the marketplace contract, the operator contract, the oracle contract, the oracle itself, several databases etc. It requires interaction of like five different docker containers, and I haven’t made you a neat docker compose file. Even with that, things are annoying and manual, so I think it’s not extremely reproducible right now. But open-sourced things have a chance at survival and at usefulness for others who may build upon this work.