Useless and infinite wasting of time

Brought to you by: sdailler

Downloads: 0 This Week

Last Update: 2014-03-08

Browse Code

A scholar and "private" project on Coq.
Polynoms and reflexive tactics for tautologies. (that does not work)

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Useless and infinite wasting of time!

2011-02-23

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

Coq Jupyter
Jupyter kernel for Coq
midori programming language
dependently typed functional programming language
useless-files
Sports Tactics Board
Sports Tactics Board is a utility that allows coaches, trainers and officials to describe sports tactics, strategies and positioning using a magnetic or chalk-board style approach. Supports soccer, hockey, volleyball and floorball.
Infinite Scroll
Automatically add next page