tlringer

Talia Ringer's repositories

plugin-tutorial

Yet another plugin tutorial, this time as an exercise for 598

Language:OCamlUnlicense38 40

proof-demos

Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic

Language:Coq38 40

ml-for-proofs

An open bibliography of machine learning for formal proof papers

Language:TeX32 4 1

autoinduct

Taking a fun tactic implemented in class, and making it public for further refinement

Language:Coq3 3 2

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.11 20

miniF2F

Formal to Formal Mathematics Benchmark

Language:Objective-C++1 10

Software-Foundations-Solutions

Language:Coq1 20

ai_on_threads

Language:HTML010

cn-tutorial

000

coq-synthesis

coq-synthesis is a Coq plugin for proof generation and next tactic prediction

Language:OCaml010

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonNOASSERTION010