mukeshtiwari/Coq-automation mukeshtiwari/Coq-automation

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • Created almost 6 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mukeshtiwari/Coq-automation
github

mukeshtiwari

Reviews

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

Repository Details

Coq codes using various automation techniques

More Repositories

1

Idris

Codes related to Idris
Idris
14
star
2

Thesis

Repository for my Phd thesis. Finally, it's happening :)
TeX
3
star
3

Formally_Verified_Verifiable_Group_Generator

Repo for computing group generators in publicly verifiable manner.
Coq
3
star
4

Formally-Verified-MultiObjective-Optimisation

Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Coq
3
star
5

Semiring_graph_algorithm

Semiring for short
Coq
3
star
6

SHA256

OCaml Code for SHA256, extracted from Coq formalisation
OCaml
2
star
7

Schulzeproperties

This repo is intended for verifying properties of Schulze Method
Coq
2
star
8

CAS

Coq
1
star
9

CDNGPoster

Poster
1
star
10

Ccodeanalysis

Analyzing c code
C
1
star
11

Probability_Theory

Coq
1
star
12

well-written-papers

This repo collects all the nicely written paper, accordng to me.
1
star
13

EncryptionSchulze

Schulze scheme with encrypted ballots
Java
1
star
14

Dlog-zkp

Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)
Coq
1
star
15

LearningOS

Code related to learning operating system
Assembly
1
star