julianmendez

julianmendez's Stars

• Wikidata/Wikidata-Toolkit

  Java library to interact with Wikibase

  Language:Java37140257100

• ProofSystem/Encyclopedia

  An Open Encyclopedia of Proof Systems

  Language:TeX116213837