theorem-proving

Here are 5 public repositories matching this topic...

CakeML: A Verified Implementation of ML

Public code developed during my MSc study at University of Bologna

java lisp xml theorem-proving ml

NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

microk8s based ml cluster

theorem-proving semantic-search kubeflow microk8s

An imperative language, logic parser and simple theorem prover designed to function via a CLI.

Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.

To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."