LoadingLoadingdeaduction
Author Email: Marguerite Bin <bin.marguerite@gmail.com>, Florian Dupeyron <florian.dupeyron@mugcat.fr>, Frédéric Le Roux <frederic.le-roux@imj-prg.fr>, Antoine Leudière <hg4fpchw@anonaddy.me>
License: GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007 ...
Summary: Graphical proof assistant for learning proofs
Can't find the visual you need? Build your own here
Downloads over time
LoadingTop versions
LoadingDownloads by Python version over time
LoadingDownloads by system over time
LoadingRelated packages
LoadingDownloads by country
LoadingFile types by installer
Loading
