Mukesh Tiwari mukeshtiwari

## AwesomeListLemmas.v
(*

  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.

## analysis.draft.md

      
              1 file
            
          
              53 forks
            
          
              0 comments
            
          
              332 stars
            
          
                MattPD
                / analysis.draft.md
            
            
              Last active
              May 4, 2024 14:56
            
              
                Program Analysis Resources (WIP draft) 
              
          
    Program Analysis Resources

(draft; work in progress)
See also:

Compilers

correctness


Program analysis:
Dynamic analysis - instrumentation, translation, sanitizers
	(*

	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.