To understand CIC, I have been working through the CIC spec. in the Coq reference manual and building a model in Redex. The model is now fairly complete, and I thought it may be of interest to these two lists, so I put the model on GitHub:
https://github.com/wilbowma/cic-redex Please free to study, improve, extend, or otherwise use it in anyway you see fit. If you find mistakes in the model, please let me know so I can correct my understanding. -- William J. Bowman Northeastern University College of Computer and Information Science -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: PGP signature
