Timeline for Proving that equality is decidable on an ``Inductive Set``
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 27 at 11:46 | vote | accept | Johan Buret | ||
Mar 15 at 14:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Feb 14 at 13:14 | answer | added | Johan Buret | timeline score: 1 | |
Feb 14 at 13:11 | comment | added | Johan Buret | @JoJoModding Yup. That worked. | |
Feb 13 at 23:01 | comment | added | JoJoModding | What about coq.inria.fr/doc/v8.13/refman/proof-engine/… ? | |
Feb 13 at 22:10 | history | asked | Johan Buret | CC BY-SA 4.0 |