nikivazou/theorem-proving-template nikivazou/theorem-proving-template

  • Stars
    star
    32
  • Rank 801,539 (Top 16 %)
  • Language
    Haskell
  • Created about 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nikivazou/theorem-proving-template
github

nikivazou

Reviews

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

Repository Details

Template repo for theorem proving in Liquid Haskell

More Repositories

1

presentations

Presentations on Liquid Haskell, type theory, and more
Haskell
44
star
2

EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs
JavaScript
15
star
3

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving
Haskell
12
star
4

thesis

Liquid Haskell: How to turn Haskell into a Theorem Prover
TeX
12
star
5

verified_string_matching

Verified Parallelized Version of String Mathcing
Haskell
6
star
6

liquid-meta

Haskell
5
star
7

liquidhaskell-course

Course on Liquid Haskell
JavaScript
4
star
8

fopss2023

Haskell
3
star
9

haskell-course

Haskell
3
star
10

OOPSLA18-artifact

Artifact for Gradual Liquid Types
Haskell
2
star
11

Data.Equations

Equation Manipulation on Haskell
Haskell
2
star
12

RTick

Reasoning about resource usage in Liquid Haskell
Haskell
2
star
13

club_de_science

Haskell
2
star
14

prover

Automatic Prover for Logical Predicates
Haskell
2
star
15

CMSC498V

Advances Functional Programming Languages
Haskell
2
star
16

propositional-equality

Propositional Equality in Liquid Haskell
Haskell
1
star
17

tic-tac-toe

Yet another tic-tac-toe game, implemented in Haskell.
Haskell
1
star
18

cse105Fa14

Haskell session of cse105
Haskell
1
star
19

presentation-hopa13

Tutorial: Type-Based Analysis of Higher-Order Programs
Haskell
1
star
20

thesis_proposal

1
star
21

LiquidHOL

Proving Various HOL properties using Liquid Haskell
Haskell
1
star