Code

Wildcat rewriting tweaks#2208

Code

Draft

patrick-nicodemus wants to merge 8 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom patrick-nicodemus:wildcat-rewriting-tweakspatrick-nicodemus/HoTT:wildcat-rewriting-tweaksCopy head branch name to clipboard

+5-6

Commits

Commits on Jan 21, 2025

• Hint mode

  patrick-nicodemus

  committed
  4458c30

  Copy full SHA for 4458c30

• Hint mode

  patrick-nicodemus

  committed
  9c9d96f

  Copy full SHA for 9c9d96f

Commits on Jan 24, 2025

• Made a change to Hint Mode

  patrick-nicodemus

  committed
  5be3a61

  Copy full SHA for 5be3a61

• Merge branch 'master' into wildcat-rewriting-tweaks

  patrick-nicodemus

  authored
  38fec26

  Copy full SHA for 38fec26

• Fixed broken proof

  patrick-nicodemus

  committed
  c7a44fa

  Copy full SHA for c7a44fa

Commits on Jan 26, 2025

• Removed accidental code

  patrick-nicodemus

  committed
  0ea00ce

  Copy full SHA for 0ea00ce

• Removed accidental code

  patrick-nicodemus

  committed
  cf3f88e

  Copy full SHA for cf3f88e

Commits on Jan 27, 2025

• Update theories/Homotopy/ClassifyingSpace.v

  Show description for 9861b77
  

  patrick-nicodemus

  and

  jdchristensen

  authored
  9861b77

  Copy full SHA for 9861b77