jesper-bengtson

IT University of CopenhagenCopenhagen

Pinned Repositories

Charge
Higher-order separation logic framework in Coq
Language:Coq1 4 81
ChargeBootstrap
A simple instance of logics from the Charge! framework.
Language:Coq0 2 00
ChargeCore
Language:Coq5 4 43
FSharpKattis
Language:F#1 2 00
Java
A model of Java in Coq based on the Charge! framework.
Language:Coq3 5 10
Masse
Sledgehammer for Coq (La Masse in French)
0 2 00
MirrorCharge
Language:Coq0 3 00
Scrabble-FP2021
1 2 00
Scrabble-FP2022
0 1 00
problemtools
Tools to manage problem packages using the Kattis problem package format.
Language:Python101 22 12270

jesper-bengtson's Repositories

jesper-bengtson/ChargeCore
Language:Coq5 4 43
jesper-bengtson/Java
A model of Java in Coq based on the Charge! framework.
Language:Coq3 5 10
jesper-bengtson/Charge
Higher-order separation logic framework in Coq
Language:Coq1 4 81
jesper-bengtson/FSharpKattis
Language:F#1 2 00
jesper-bengtson/Scrabble-FP2021
1 2 00
jesper-bengtson/ChargeBootstrap
A simple instance of logics from the Charge! framework.
Language:Coq0 2 00
jesper-bengtson/Masse
Sledgehammer for Coq (La Masse in French)
0 2 00
jesper-bengtson/MirrorCharge
Language:Coq0 3 00
jesper-bengtson/Scrabble-FP2022
0 1 00