medovina/natty medovina/natty

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language
    OCaml
  • License
    MIT License
  • Created 9 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
medovina/natty
github

medovina

Reviews

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

Repository Details

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

More Repositories

1

MarioAI

Super Mario implementation for experimenting with AI algorithms in Java
Java
7
star
2

ofxstatement-cz-komercni

ofxstatement plugin for CSV files from Komerční banka
Python
3
star
3

breakthrough

strategy game in C#
C#
1
star