are those of reification and commodification. The power and versatility of insight that Jameson can generate from these twin notions is little short of staggering: he can show us, for example, how the ...
This release implements the renaming from Coq to Rocq, MetaCoq to MetaRocq and TemplateCoq to TemplateRocq.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback