Tag Info

higher-order-logic Questions

29	1	Namdak Tönpa 1,3077 silver badges26 bronze badges
27	1	Jason Gross 1,6074 silver badges13 bronze badges
23	2	Couchy 2,3302 gold badges9 silver badges39 bronze badges
7	1	Neel Krishnaswami 2,0835 silver badges17 bronze badges
6	1	Michael Norrish 1,1426 silver badges16 bronze badges
6	1	Pedro Sánchez Terraf 1,0334 silver badges18 bronze badges
6	1	Lawrence Paulson 8163 silver badges6 bronze badges
4	1	Jason Rute 10.3k1 gold badge20 silver badges57 bronze badges
3	1	Alex Nelson 1,7496 silver badges21 bronze badges
2	1	Andrej Bauer 11.1k23 silver badges64 bronze badges

32	1	Guy Coder 2,8561 gold badge12 silver badges39 bronze badges
17	1	Wno-all 1,1485 silver badges21 bronze badges
10	1	Max New 3141 silver badge10 bronze badges
10	1	Cris P 3551 silver badge7 bronze badges
6	1	tinlyx 2,6621 gold badge7 silver badges30 bronze badges
4	1	Trebor♦ 4,3441 gold badge9 silver badges40 bronze badges
3	1	user695931 4392 silver badges9 bronze badges