Research talk: Correct computational law and civil procedure with the Lean Proof Assistant · Minideo

Favoritos Assistido recentemente

Registar Iniciar Sessão

English Español Français Português Türkçe

Favoritos Assistido recentemente

Iniciar Sessão Registar

Research talk: Correct computational law and civil procedure with the Lean Proof Assistant

© 2025 Minideo. Todos os direitos reservados.

privacidade Termos de Serviço