Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 30, 2022

• Finish reading MacLennan paper

  prathyvsh

  authored
  028bd57

• Some further reading

  prathyvsh

  authored
  12bc277

Commits on Apr 29, 2022

• Read till page 9 of MacLennan paper

  prathyvsh

  authored
  1dfef17

Commits on Apr 28, 2022

• Start reading Words Lie in our Way by MacLennan

  prathyvsh

  authored
  2be2ecd

Commits on Jan 28, 2022

• Read till page 3

  prathyvsh

  committed
  4b269c0

• Create notes-on-history-of-interactive-theorem-proving.org

  prathyvsh

  authored
  e5862db

• Delete file

  prathyvsh

  committed
  1623728

• Create notes on History of Interactive Theorem Proving

  prathyvsh

  committed
  3163e0a

• Notes on History of Interactive Theorem Proving

  prathyvsh

  committed
  f9e7b38

• Create History of Interactive Theorem Proving page

  prathyvsh

  authored
  395fdc1

Commits on Dec 12, 2021

• Add some details from the unfold group chat

  prathyvsh

  authored
  39e0df8

• Add some details

  prathyvsh

  authored
  65e7bfb

Commits on Dec 11, 2021

• Provide some scaffolding for detailing later

  prathyvsh

  authored
  a818c5a

• Watch till 1:30:05

  prathyvsh

  authored
  9bf589c

Commits on Dec 9, 2021

• Watch till 22 Specilisation Lemma (1:15:25)

  prathyvsh

  authored
  ddc2ffe

Commits on Dec 8, 2021

• Add a resource on program analysis

  prathyvsh

  authored
  6302f13

Commits on Dec 7, 2021

• Complete watching first part

  prathyvsh

  authored
  469f9b0

Commits on Dec 5, 2021

• Start (Un)folding Programs notes

  prathyvsh

  authored
  5e3d7dd

Commits on Nov 24, 2021

• Add details on Algebra of Programming school(s)

  prathyvsh

  authored
  b75a34f

Commits on Oct 20, 2021

• Read till page 10 of Algebraic Models for Understanding

  prathyvsh

  committed
  d7eb38a

• Read till page 9 of Algebraic Models of Understanding

  prathyvsh

  committed
  ccece23

Commits on Oct 18, 2021

• Read till page 8 of Algebraic Models for Understanding

  prathyvsh

  committed
  67c612d

Commits on Oct 15, 2021

• Merge branch 'master' of https://github.com/prathyvsh/morphisms-of-computational-structures

  prathyvsh

  committed
  adc5bb2

• Read till page 8 of Algebraic Models for Understanding

  prathyvsh

  committed
  6b0e370

Commits on Oct 14, 2021

• Adjust the formatting of a code block and bring in a few more of them

  prathyvsh

  authored
  dc24830

• Turn a diagram into a code block

  prathyvsh

  authored
  147187d

Commits on Oct 13, 2021

• Edit some typos

  prathyvsh

  committed
  ae4952e

• Read till page 6 of Algebraic Models for Understanding

  prathyvsh

  committed
  731516e

• Start reading Algebraic Models for Understanding: Coordinate Systems and Cognitive Empowerment

  prathyvsh

  committed
  495afda

Commits on Oct 12, 2021

• Finish reading Finite Computational Structures and Implementations: Semigroups and Morphic Relations paper

  prathyvsh

  committed
  ed5712f

• Finish reading till page 12 of Finite Computational Structures and Implementations: Semigroups and Morphic Relations

  prathyvsh

  committed
  61a22d2

• Read till page 8 of Finite Computational Structures and Implementations: Semigroups and Morphic Relations

  prathyvsh

  committed
  7b66515

• Start reading Finite Computational Structures and Implementations: Semigroups and Morphic Relations

  prathyvsh

  committed
  5b0168f

Commits on Oct 11, 2021

• Fix some typos

  prathyvsh

  committed
  a5032e6

• Read till page 6 of Finite Computational Structures and Implementations

  prathyvsh

  committed
  49e453b

Pagination

PreviousNext