disdex
discord server index
CakeML

CakeML

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

a8UUs6Ce6m
189
members
27
online
0
boosts
Nov 07, 2023
created
Mar 30, 2026
added to disdex
Oct 02, 2026
last checked

members + online

membersonline
19214496480Sep 18Sep 23Oct 02

games (0)

no games associated with this server

Discord Compiler banner
Discord Compiler
Discord Compiler
289 members50 online
ix compiler
ix compiler
2 members1 online
null theorem
null theorem
1 members1 online
Liquid Theorem
Liquid Theorem
31 members2 online
Compiler Inc.
Compiler Inc.
18 members3 online
Monkey Theorem Studio
Monkey Theorem Studio
34 members8 online
Roblox Compiler Collection
Roblox Compiler Collection
125 members23 online
compiler-research
compiler-research
255 members28 online
CAN WE GET MUCH HIGHER?
CAN WE GET MUCH HIGHER?
75 members11 online
Go Higher
Go Higher
19 members4 online
LOGIC
LOGIC
92 members22 online
💎・LOGIC・💎
💎・LOGIC・💎
18 members6 online

invites (1)

CodeInviterStatus
a8UUs6Ce6m@xrchzalive