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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

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

2011-02-23

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

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