GitHub / sumantchopdata / intro_to_automated_proof_checking
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sumantchopdata%2Fintro_to_automated_proof_checking
PURL: pkg:github/sumantchopdata/intro_to_automated_proof_checking
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Lean
Size: 33.2 KB
Dependencies parsed at: Pending
Created at: almost 2 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago
Topics: interactive-theorem-proving, lean4, logic, mathematics, mathlib, proof-assistant