proof assistants

Правка en1, от khealer, 2023-02-23 18:37:05

Hello,

Have any of you tried the proof assistants (lean, coq etc)? Is it applicable to the problems of the site?

thank you

История

 
 
 
 
Правки
 
 
  Rev. Язык Кто Когда Δ Комментарий
en1 Английский khealer 2023-02-23 18:37:05 145 Initial revision (published)