Giters
Jasmin Blanchette (blanchette)

blanchette

Geek Repo

38

followers

0

following

2

stars

Company:Ludwig-Maximilians-Universität München

Location:Munich, Germany

Github PK Tool:Github PK Tool

Jasmin Blanchette's repositories

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Language:LeanStargazers:97Issues:18Issues:5

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Language:LeanStargazers:82Issues:2Issues:2

interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

Language:LeanStargazers:48Issues:8Issues:0

logical_verification_2021

Language:LeanStargazers:25Issues:6Issues:1

logical_verification_2022

Logical Verification 2022-2023 course at VU Amsterdam

Language:LeanStargazers:17Issues:4Issues:1

logical_verification_2019

Repository for the course Logical Verification 2019–2020 at VU Amsterdam

Language:LeanStargazers:13Issues:7Issues:1

blanchette.github.io

Stargazers:0Issues:0Issues:0

CodataDP

Codatatype decision procedure for CVC4

Stargazers:0Issues:0Issues:0