rnrand

VPHL

Coq development for VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs, MFPS 2015

gpt-lean

A repository of lean problems for GPT-4 to attempt

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

group-site

ChiQP-Lab at UChicago CS

rnrand.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

webpage-hugo