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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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.
Tactics3D
Tactics: Western Philosophers Vs. Musicians is a turn-based tactical game combining rules and gameplay elements inspired by Final Fantasy Tactics and the Mayfair Exponential Game System. Unlike most games of this type, motion is in full, grid-less 3D.
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
useless-files
Isnad
Software for inserting hadeeth narrators and isnads (sanad) to find them fast together with the judgement (saheeh, daeef and so on) of a scholar of hadeeth like Ibn Hajar, Albani and all others.