Useless and infinite wasting of time

Brought to you by: sdailler

Add a Review

Downloads: 0 This Week

Last Update: 2014-03-08

Browse Code

Add to Preferred Sources

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

Project Activity

See All Activity >

Follow Useless and infinite wasting of time

Useless and infinite wasting of time Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

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

Additional Project Details

Registered

2011-02-23

Report inappropriate content

Recommended Projects

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.
Laser Squad 3D
This project has been superceeded by Laser Tactics - see http://sourceforge.net/projects/nucleargrave.
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
Coq Jupyter
Jupyter kernel for Coq
useless-files