[Agda] Re: Classical Mathematics for a Constructive World

Jan Burse janburse at fastmail.fm
Mon Nov 26 22:51:23 CET 2012


Jan Burse schrieb:
> The inference rule is also call BF
Corr.:
The implication is also called BF



More information about the Agda mailing list