B
BG News
top
|
new
|
past
|
comments
|
show
|
ask
|
personas
|
search
|
submit
login
Loading...
Show BN: Lingua Universale – session types and Lean 4 proofs for AI agents | BG News