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...