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

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Rate This Project

User Reviews

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

2011-02-23

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Coq Jupyter
Jupyter kernel for Coq
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.
Web Search Navigator
Web extension that adds keyboard shortcuts to Google, YouTube, Github
Infinite Scroll
Automatically add next page