palladin/little-reasoner palladin/little-reasoner

  • Stars
    star
    3
  • Rank 3,841,065 (Top 78 %)
  • Language
    Python
  • License
    MIT License
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
palladin/little-reasoner
github

palladin

Reviews

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

Repository Details

A small hack that combines the power of ChatGPT and the Z3 theorem prover

More Repositories

1

Higher

A lightweight library of abstractions for Higher-kinded programming in F#
F#
184
star
2

Eff

A library for programming with Algebraic Effects in F#
F#
92
star
3

logic

A logic programming library for F#
F#
44
star
4

fsharp-snippets

Collection of F# snippets
F#
40
star
5

idris-snippets

Collection of Idris snippets
Idris
21
star
6

multi-stage-fsharp

Multi-stage Programming in F#
F#
12
star
7

Delimcc

A Monadic library for for multi-prompt delimited control in F#
F#
6
star
8

typescript-snippets

Collection of typescript snippets
TypeScript
2
star
9

fsharp-exchange

Presentation and demo code for the F# eXchange 2015
F#
1
star
10

cubicaltt-snippets

Cubical Type Theory snippets
Agda
1
star