Решили задачу или формализовали доказательство в Lean? Узна

Посты

Присоединяйтесь к пользователям криптовалют по всему миру на Binance Square

⚡️ Получайте новейшую и полезную информацию о криптоактивах.

💬 Нам доверяет крупнейшая в мире криптобиржа.

👍 Получите достоверные аналитические данные от верифицированных создателей контента.

Эл. почта/номер телефона