akonring/coq-fibonacci akonring/coq-fibonacci

  • Stars
    star
    1
  • Language Coq
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
akonring/coq-fibonacci
github

akonring

Reviews

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

Repository Details

Proving non-trivial identities of the Fibonacci sequence with Coq Proof Assistant

More Repositories

1

srp

A python poc implementation of the SRP protocol
Python
1
star