Why Gemfury? Push, build, and install  RubyGems npm packages Python packages Maven artifacts PHP packages Go Modules Debian packages RPM packages NuGet packages

doctorondemand / Pygments python

Repository URL to install this package:

Version: 
2.5.0  ▾
Details    
Pygments / examplefiles / example_coq.v
Size: Mime: 
Lemma FalseLemma : False <-> False.
tauto.
Qed.
Check FalseLemma.

Products

About

Resources

Contact Gemfury