Probat-Pyodide HTML send proofs and workspace
Hello! Probat is a single HTML file, running on Python Pyodide and which is made to share works and proofs about mathematics. You can send it, cryptograpic SHA-256 attest, share URLs of your frozen files, correct files you receive and re-send.
Not very accurate for massive compute (runs on your navigator) but can be cool for pedagogics and exchanges.
原文：https://www.a8q9.cn/en/article/probat-pyodide-html-send-proofs-and-workspace-7178cb.html