jcp19/laop_coq jcp19/laop_coq

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jcp19/laop_coq
github

jcp19

Reviews

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

Repository Details

Trying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.

More Repositories

1

SPIDER

Automated data race detection from a distributed trace via SMT constraint solving
Java
16
star
2

oldVerifiedSCION

A verified version of SCION's go source code
Go
8
star
3

jcp19

2
star
4

micro-benchmarks

Fork of minha-benchmarks, a suit of tests for the MINHA framework
Java
2
star
5

owncloud_ansible

ownCloud network deployment
Shell
1
star
6

zh_gophers_gobra

Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022
Go
1
star
7

robot_festival_2014

Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014
Arduino
1
star