Skip to content

Instantly share code, notes, and snippets.

View mukeshtiwari's full-sized avatar
💭
keep_learning

Mukesh Tiwari mukeshtiwari

💭
keep_learning
View GitHub Profile
@Agnishom
Agnishom / AwesomeListLemmas.v
Last active April 26, 2024 14:20
Awesome List Lemmas
(*
Some lemmas that can be used in conjunction with those in Coq.Lists.List
See https://coq.inria.fr/library/Coq.Lists.List.html
*)
Require Import Lia.
Require Import Coq.Lists.List.
@MattPD
MattPD / analysis.draft.md
Last active October 9, 2024 19:27
Program Analysis Resources (WIP draft)