project screenshot 1
project screenshot 2
project screenshot 3
project screenshot 4


Idea of an IPFS / Filecoin based solution to foster progress in mathematical research by leveraging the Lean theorem prover and a tailored reward system, to make research free and accessible.


Created At

HackFS 2024

Winner of


Filecoin - Honorable Mentions

Prize Pool

Project Description

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.

How it's Made

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.

background image mobile

Join the mailing list

Get the latest news and updates