Y a-t-il un multisig qui est formellement vérifié pour 7702 ? S'il n'y en a pas, nous recherchons des personnes qui souhaitent l'implémenter avec nous.

@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned cc @mati_onorato rejoignez aussi