Coqhammer — An Automated Reasoning Hammer Tool for Rocq · dotstore

Description

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Information

Ratings & Reviews

No ratings yet

Be the first to rate Coqhammer.

People also visit

F

Flowise

Build AI agents visually, an open source agentic systems development platform

Productivity

C

changedetection.io

Stay up-to-date with web-site content changes

Productivity

H

Huginn

Build agents that monitor and act on your behalf

Productivity

A

Ansible CLI

Automate tasks, streamline workflow, and securely manage IT systems

Productivity

P

Puppeteer

JavaScript API for Chrome and Firefox

Productivity

A

AutoHotkey

Macro-creation and automation-oriented scripting utility

Productivity

See all Coqhammer alternatives

Coqhammer FAQ

What is Coqhammer?

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Is Coqhammer free?

Yes. Coqhammer is free to use.

Do I need to download Coqhammer?

No. Coqhammer runs in your browser at github.com, so there's nothing to install.

Who makes Coqhammer?

Coqhammer is made by lukaszcz.

What are the best Coqhammer alternatives?

Popular alternatives to Coqhammer include Flowise, changedetection.io and Huginn. See all Coqhammer alternatives

Developer Stuff

Badges