Sakura

This project combines the lean theorem prover with the blockchain technologies. We have an automated system for mathematical theorem reviewing and rewarding cited theorem authors. Thru our demo we showcase the problems that appear in the current publishing setup and how we build a more fair system for open science.

We have used a combination of different technologies. The main challenge was to build a python-based streamlit application and interface for both - lean theorem prover and blockchain technologies. Streamlit application also interfaces with the rainbowkit application. Both of the team members hold a PhD degree and have a wide exposure to different technologies. Broad complementary knowledge enabled us to put the project together.