[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