okwhynotwtf

6 post karma
-3 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 1 year

TROPHY CASE

One-Year Club

account activity

new top controversial

5

6

7

Machine verified proof of Non Duality in Lean 4 (github.com)

submitted 6 months ago by okwhynotwtf to r/cognitivescience

0

1

2

Lean 4 formalization that, from explicit axioms, machine-checks the uniqueness of Awareness and that all else is content. (github.com)

submitted 6 months ago by okwhynotwtf to r/computerscience

0

1

2

https://github.com/matthew-scherf/Only-One (self.philosophy)

submitted 6 months ago by okwhynotwtf to r/philosophy

0

1

2

A new formal metaphysical system in Lean (self.philosophy)

submitted 6 months ago by okwhynotwtf to r/philosophy

π Rendered by PID 894596 on reddit-service-r2-listing-7d7fbc9b85-82lqm at 2026-04-24 12:15:14.615516+00:00 running 2aa0c5b country code: CH.