Login / Signup
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.
Jin Xing Lim
Barnabé Monnot
Shaowei Lin
Georgios Piliouras
Published in:
CoRR (2021)
Keyphrases
</>
collaborative learning
computer science
collaborative environment
formal model
geographically dispersed
database
expert systems
knowledge sharing
multi user
formal logic
multi agent
computer supported collaborative learning
provably correct
computer algebra