https://github.com/philzook58/knuckledragger.jl

Julia Semi-Automated Proof Assistant
https://github.com/philzook58/knuckledragger.jl

proof-assistant smt theorem-proving

Last synced: 7 months ago
JSON representation

Julia Semi-Automated Proof Assistant

• Host: GitHub
• URL: https://github.com/philzook58/knuckledragger.jl
• Owner: philzook58
• License: mit
• Created: 2024-11-09T19:54:06.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-11-09T20:01:05.000Z (11 months ago)
• Last Synced: 2025-02-25T07:47:42.020Z (7 months ago)
• Topics: proof-assistant, smt, theorem-proving
• Language: Julia
• Homepage:
• Size: 4.88 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Knuckledragger

[![Build Status](https://github.com/philzook58/Knuckledragger.jl/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/philzook58/Knuckledragger.jl/actions/workflows/CI.yml?query=branch%3Amain)

Julia bindings to . This design uses the SMT solver Z3 as a core in an LCF style interactive theorem prover. It also can use other solvers.