jun
@nahcnuj.bsky.social
like: Perl🐫 / TypeScript / 型 / 東山奈央🌈 / ナナシス / 芹沢モモカ🍭
ifの方にはif_pos,if_negっていうのがあるんだね
leanprover-community.github.io/archive/stre...
leanprover-community.github.io/archive/stre...
February 25, 2024 at 12:07 PM
ifの方にはif_pos,if_negっていうのがあるんだね
leanprover-community.github.io/archive/stre...
leanprover-community.github.io/archive/stre...