Skip to content

Generalize `intuitionistically_intro` to general BI.

Robbert Krebbers requested to merge robbert/intuitionistically_intro into master

Merge request reports