https://github.com/c-cube/andes

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
https://github.com/c-cube/andes

logic-programming memoization ocaml prototype

Last synced: 3 months ago
JSON representation

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

• Host: GitHub
• URL: https://github.com/c-cube/andes
• Owner: c-cube
• Created: 2018-07-25T17:26:54.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-06-23T03:36:00.000Z (over 2 years ago)
• Last Synced: 2024-04-20T00:54:15.934Z (9 months ago)
• Topics: logic-programming, memoization, ocaml, prototype
• Language: OCaml
• Homepage:
• Size: 172 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Andes [![build](https://github.com/c-cube/andes/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/andes/actions/workflows/main.yml)

A chain with lots of lemmas. More specifically, a logic programming engine.

This is a work in progress research prototype. It might not even be correct.