Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Se o seu protocolo não tiver uma especificação Quint, ela existe?
26 de jul. de 2025
Nas últimas semanas, @dnkolegov (e a equipe da @asymmetric_re) traduziram o Minimmit em uma especificação executável (escrita em Quint).
Por que? Agora podemos automatizar a busca por inconsistência mínima contra o Apalache Symbolic Model Checker 🤖 .
1,86K
Melhores
Classificação
Favoritos