Search results

Lean Theorem Prover

7 KB (1,095 words) - 18:41, 11 May 2023
List of applications/Internet
...electronjs.org/ Electron] platform.|https://zulipchat.com/apps/linux|{{AUR|zulip-desktop}}}}

90 KB (12,317 words) - 15:02, 30 September 2023
List of applications (Español)/Internet (Español)
...[https://electronjs.org/ Electron].|https://zulipchat.com/apps/linux|{{AUR|zulip-desktop}}}}

89 KB (12,963 words) - 08:08, 30 September 2023