disdex
discord server index
CakeML

CakeML

CakeML - verified compiler, and theorem proving in higher-order logic

a8UUs6Ce6m
192
members
27
online
0
boosts
Nov 07, 2023
created
Mar 30, 2026
added to disdex
Jul 21, 2026
last checked

members + online

membersonline
19214496480Jul 15Jul 17Jul 21

games (0)

no games associated with this server

Discord Compiler banner
Discord Compiler
Discord Compiler
293 members39 online
ix compiler
ix compiler
2 members0 online
null theorem
null theorem
1 members1 online
Liquid Theorem
Liquid Theorem
31 members2 online
Compiler Inc.
Compiler Inc.
19 members1 online
Monkey Theorem Studio
Monkey Theorem Studio
35 members8 online
Roblox Compiler Collection
Roblox Compiler Collection
133 members34 online
compiler-research
compiler-research
229 members26 online
CAN WE GET MUCH HIGHER?
CAN WE GET MUCH HIGHER?
77 members11 online
Go Higher
Go Higher
19 members4 online
LOGIC
LOGIC
91 members17 online
💎・LOGIC・💎
💎・LOGIC・💎
18 members6 online

invites (1)

CodeInviterStatus
a8UUs6Ce6m@xrchz