coqhammer

lukaszcz

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

automation

View on GitHub

190 Stars

26 Forks

190 Watchers

OCaml Language

other License

Cost to Build

$190.1K

Market Value

$358.1K

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2023-07-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about coqhammer

Question copied to clipboard

What is the lukaszcz/coqhammer GitHub project? Description: "CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone coqhammer

Clone via HTTPS

git clone https://github.com/lukaszcz/coqhammer.git

Clone via SSH

[email protected]:lukaszcz/coqhammer.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the coqhammer issue tracker:

Open GitHub Issues

Similar to coqhammer

puppeteer phantomjs fastlane huginn appium PHP_CodeSniffer InstaPy startup-marketing-checklist tpot EarlGrey webdriverio HeadlessBrowsers hammerspoon PokemonGo-Bot AutoSploit guide ArchiSteamFarm robotgo danger st2 rundeck minicron phantomas macaca mac-dev-playbook AutoHotkey gaia errbot habitat wordmove