Get started
Author

Lakshit Singh Bisht

Observed name: Bisht, Lakshit Singh
ORCID: 0009-0004-0035-5714
Observed ORCID: 0009-0004-0035-5714
OpenAlex ID: A5126835694
LakshitSinghBishtTM/exp-004-project-proof-1: v1.0.0
2026 · Bisht, Lakshit Singh · Zenodo (CERN European Organization for Nuclear Research) · 1
LakshitSinghBishtTM/xLaDe: v1.2.1
2025 · Bisht, Lakshit Singh · 1
The Collateral Damage Trap: Understanding UPGen and Proteus for Censorship Evasion
2026 · Lakshit Singh Bisht · Research Square
PDF
Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
2026 · Lakshit Singh Bisht, Deepak Pandey, et al. · Research Square
PDF
LakshitSinghBishtTM/CoreAI-Protocol-Suite: v1.1.0
2026 · Lakshit Singh Bisht, Claude · Zenodo (CERN European Organization for Nuclear Research)
LakshitSinghBishtTM/roXac: roXac v1.0.0
2026 · Lakshit Singh Bisht · Zenodo (CERN European Organization for Nuclear Research)
LakshitSinghBishtTM/snowflake: snowflake v1.0.0
2026 · Bisht, Lakshit Singh · Zenodo (CERN European Organization for Nuclear Research)
xLaDe
2026 · Lakshit Singh Bisht, Thota Siva, et al. · OSF Preprints (OSF Preprints)
LakshitSinghBishtTM/Litsxg: Litsxg v1.0.0
2026 · Bisht, Lakshit Singh · Zenodo (CERN European Organization for Nuclear Research)
xLaDe: A Lean 4 Ecosystem Framework
2026 · Lakshit Singh Bisht
Works count: 10
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type