Awesome Open Source

Programming Languages

Search results for python coq

13 search results found

Coqtail ⭐ 233

Interactive Coq Proofs in Vim

Ccg2lambda ⭐ 224

Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.

Llm Verified With Monte Carlo Tree Search ⭐ 143

LLM verified with Monte Carlo Tree Search

Coq_jupyter ⭐ 89

Jupyter kernel for Coq

A Learning Environment for Theorem Proving

Coq Tools ⭐ 35

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Python bindings for the Coq interactive proof assistant

Cockerel ⭐ 26

An Online Logic Assistant Based on Coq

Roosterize ⭐ 15

Tool for suggesting lemma names in Coq verification projects

Literate coq blog posts

Nanakagura Rainbow Fart ⭐ 8

カグラナナ（神乐七奈）Rainbow Fart语音包

A parser based on the ALL(*) algorithm, implemented and verified in Coq.

Sublime Coq Plugin ⭐ 5

Syntax highlighting and Coq interactivity for Sublime Text 3

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Flask (17,643)

Python Dataset (14,792)

Python Docker (14,113)

Python Tensorflow (13,736)

Python Command Line (13,351)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

Python Network (11,495)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.