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

Get an email when there's a new version of Useless and infinite wasting of time

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

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

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

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Create free account

Recommended Projects

Coqtail
COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
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.