Jam Khan@jamkhan01

Programming Languages, Verification, and Functional Programming!

jam-khan.github.io/
Joined November 2024
Verse being built at Epic Games is super cool! While reading their ICFP'23 paper, I prototyped a source language based on Verse calculus and proved conservativity over STLC in Lean 4. Try it out: jam-khan.github.io/verse-pro… GitHub: github.com/jam-khan/verse-pr… @TimSweeneyEpic
3
196
SMT timeouts, unknown results, or trust concerns? SMTLib-to-Lean4 translates SMT-LIB queries into well-typed Lean 4 code! GitHub: github.com/LeanHorn/SMTLib-t… Inspired by earlier work on Lean 4 backend for Flux: arxiv.org/pdf/2607.12226 In collab with @RanjitJhala

GitHub - LeanHorn/SMTLib-to-Lean: A tool to connect SMT-based frontends to Lean4.

A tool to connect SMT-based frontends to Lean4. Contribute to LeanHorn/SMTLib-to-Lean development by creating an account on GitHub.

github.com
4
10
69
3,229
Load more