Актуальні теми
#
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.
З цієї нагоди ми випустили вишуканий столовий посуд (bulletpoint)
15 лип., 08:59
Карма скромна — величезне оновлення для Halmos!
∎ Інваріантне тестування зі збереженням стану (дуже потужне)
∎ Флеймграфи (дивіться, що досліджує Халмос)
∎ У 30 разів швидший перекладач (!!)
∎ Легкий вибір багатьох розв'язувачів
∎ Звіти про покриття
∎ Підтримка Solx
∎ більше чит-кодів
∎ ... та багато іншого
902
Найкращі
Рейтинг
Вибране