Pinned Loading

1. Soham-Saha.github.io Soham-Saha.github.io Public

   Github Pages repository

   HTML 11 1

2. understanding_id.lean understanding_id.lean

   1

   -- # UNDERSTANDING IDENTITY TYPES IN TYPE THEORY

   2

   3

   set_option pp.all true

   4

   5

   /-

3. dolev-yao.lean dolev-yao.lean

   1

   -- # Dolev-Yao formalization.

   2

   3

   -- # ----------------------------------------------------------------------------------------------

   4

   5

   /--

4. Ryan-Hota/catThy Ryan-Hota/catThy Public

   Lean