User contributions for 2A02:1812:110C:DC00:FD52:FD63:CF55:6615
Jump to navigation
Jump to search
28 October 2025
- 17:5317:53, 28 October 2025 diff hist +55,596 N Sequent calculus No edit summary current
- 17:4117:41, 28 October 2025 diff hist +6,120 N Noncommutative logic No edit summary current
- 17:3117:31, 28 October 2025 diff hist +4,259 N Structural rule No edit summary current
- 14:0114:01, 28 October 2025 diff hist +26,051 N Categorial grammar No edit summary current
27 October 2025
- 18:5918:59, 27 October 2025 diff hist +2,690 N Proof net No edit summary current