A Blockchain-Based Approach for Collaborative Formalization of
Mathematics and Programs

A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs

21 November 2021

Georgios Piliouras

ArXiv (abs)PDF HTML

Papers citing "A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs"

Title
No papers