jonaprieto/agda-prop

README.md plan

jonaprieto opened this issue · 0 comments

jonaprieto commented
  • Requirements of Agda
  • Requirements of Standard Library
  • agda-lib file
  • src folder
  • Data.Prop
  • Data.Prop.Syntax
  • Data.Prop.Theorems
  • Data.Prop.Theorems.Conjunction
  • Data.Prop.Theorems.Disjunction
  • Data.Prop.Theorems.Implication
  • Data.Prop.Theorems.Negation
  • Data.Prop.Theorems.Biimplication
  • Data.Prop.Theorems.Mixies