pointoflight/coq_proofs pointoflight/coq_proofs

  • Stars
    star
    1
  • Language Coq
  • Created almost 5 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pointoflight/coq_proofs
github

pointoflight

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Some proofs in the Coq proof assistant. Inductive definitions of trees and proofs of a few properties about trees. Proof of irrationality of square root 2. ✍🏻✍🏻

More Repositories

1

MUP

mup labs 2020
Assembly
1
star
2

indoor_nav

C#
1
star
3

svg_tf

Python
1
star
4

tweet_classification

A project in NLP using Python. Used probability and TF-IDF and Bag-of-words to make a classifier that detects tweets that contain information about a disaster.
Python
1
star